ARC

Soliman, D.; Thramboulidis, K.; Frey, G.: Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications. Annual Reviews in Control, ISBN 1367-5788, Elsevier, Vol. 36, pp. 338-345, Dec. 2012. <DOI: 10.1016/j.arcontrol.2012.09.015>