• Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems, Knut Åkesson, Martin Fabian, Hugo Flordal, Robi Malik, Proceedings of 2006 Workshop of Discrete Event Systems (WODES), Ann Arbor, Michigan.
• Supremica – A Tool for Verification and Synthesis of Discrete Event Supervisors, Knut Åkesson, Martin Fabian, Hugo Flordal, Arash Vahidi, Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece, 2003.

Related papers

• Implementing a Control System Framework for Automatic Generation
  of Manufacturing Cell Controllers, Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson. Proceedings of the 2007 IEEE International Conference on Robotics and Automation, ICRA'07. More information about this paper.
• Supervisory Control Applied to Automata Extended with Variables - Revised, Markus Sköldstam, Knut Åkesson, and Martin Fabian. Technical Report R001/2008, Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden, 2008.