The Integrated Discrete-Event Systems Tool | IEEE Conference Publication | IEEE Xplore