Article citationsMore>>

Soliman, D., Thramboulidis, K. and Frey, G. (2012) Transformation of Function Block Diagrams to UPPAAL Timed Automata for the Verification of Safety Applications. Annual Reviews in Control, 36, 338-345.
http://dx.doi.org/10.1016/j.arcontrol.2012.09.015

has been cited by the following article: