Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

Changyan Zhou, Ratnesh Kumar. Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Discrete Event Dynamic Systems, 22(2):223-247, 2012. [doi]

Abstract

Abstract is missing.