1. Aceta, L., Larsen, K. G., & Ingólfsdóttir, A. (2004). An introduction to milner's ccs. In BRICS, Department of Computer Science, Aalborg 0, Denmark 〈http://www.cs.aau.dk/luca/SV/intro2ccs.pdf〉.
2. Systematic supervisory control solutions for under-load tap-changing transformers;Afzalian;Control Engineering Practice,2008
3. Åkesson, K. (2002). Methods and tools in supervisory control theory. Ph.D. thesis, Control and Automation Laboratory, Chalmers University of Technology.
4. Åkesson, K., Fabian, M., Flordal, H., & Malik, R. (2006). Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. In Proceedings of 8th workshop on discrete event systems (WODES’06) (pp. 384–385), Ann Arbor, MI, USA.
5. Åkesson, K., Fabian, M., Flordal, H., & Vahidi, A. (2003). Supremica—a tool for verification and synthesis of discrete event supervisors. In 11th mediterranean conference on control and automation, Rhodos, Greece.