1. R.W. Lewis, Programming industrial control systems using IEC 1131-3, in: The Institution of Electrical Engineering, London, UK, 1998.
2. MatPLC project home page, Available from: , last visit on march, 2006.
3. M. Sousa, Linux-based PLC for industrial Control, Embedded Linux Journal, May, (2001)—online at , last visit on December, 2004.
4. M. Sousa, A. Carvalho, An IEC 61131-3 compiler for the MatPLC, Emerging Technologies and Factory Automation, Proceedings, ETFA ’03, vol. 1, 2003, pp. 485–490.
5. G. Egger, A. Fett, P. Pepper, Formal specifications of a safe PLC language and its compiler, 13th International Conference on Computer Safety, Reliability and Security Anaheim, (1994), Proceedings of the SAFECOMP’94.