1. Jiang, J., Holding, D.: The formalisation and analysis of sequential function charts using a petri net approach. In: Proceedings of 13th World Congress of IFAC, pp. 513–518 (1996)
2. Anderson, S., Tourlas, K.: Design for proof: An approach to the design of domainspecific languages. Formal Aspects of Computing 10, 452–468 (1998)
3. Bornot, S., Huuck, R., Lakhnech, Y., Lukoschus, B.: An abstract model for sequential function charts. In: Discrete Event Systems: Analysis and Control, Proceedings of WODES 2000: 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 21-23. The Kluwer International Series in Engineering and Computer Science, pp. 255–264 (2000)
4. International Electrotechnical Commission, Technical Committee No. 65: Programmable Controllers – Programming Languages, IEC 61131-3. 2nd edn. (1998), Committee draft
5. International Electrotechnical Commission, Technical Committee No. 848: IEC 60848, Preparation of function charts for control systems (1992)