INCOM
Soliman, D.; Thramboulidis, K.; Frey, G.:Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models. Proceedings of the 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2012), Vol. W, pp. 625-631, Bucharest, Romania,May 2012. <DOI: 10.3182/20120523-3-RO-2023.00370>