BASYS

Frey. G.: Formal methods in PLC control demonstrated at a flexible manufacturing line. Proceedings of the 5th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS 2002), pp. 501-508, Cancun, Mexico, Sept. 2002.