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

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · ACM SIGPLAN Notices · 2003 · 156 citations

Engineering, Computer Engineering, Computer Science +16

Translating discrete-time simulink to lustre

Stavros Tripakis, Christos Sofronis, Paul Caspi et al. · ACM Transactions on Embedded Computing Systems · 2005 · 152 citations

Engineering, Automotive Engineering, Computer Science +17

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations

Aditya Agrawal, Gyula Simon, Gábor Karsai · Electronic Notes in Theoretical Computer Science · 2004 · 138 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Defining and translating a "safe" subset of simulink/stateflow into lustre

Norman Scaife, Christos Sofronis, P. Caspi et al. · 2004 · 112 citations

Computing, Computer Engineering, Computer Science +12