Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.9K citations

Computing, Computer Science, Mathematics +14

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

Computing, Computer Science, Formal Methods +14

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 775 citations

Computing, Computer Engineering, Computer Science +11