1. Akesson, K., M. Fabian, H. Flordal, and R. Malik. 2006. “Supremica – An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems.” 2006 8th International Workshop on Discrete Event Systems (WODES), 384–385.
2. Atampore, F., J. Dingel, and K. Rudie. 2016. “Automated Service Composition via Supervisory Control Theory.” 2016 13th International Workshop on Discrete Event Systems (WODES), 28–35.
3. Formalizing WSBPEL Business Processes Using Process Algebra
4. Introduction to Discrete Event Systems