Design patterns for model-based automation software design and implementation

Statecharts: a visual formalism for complex systems

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

Engineering, Systems Engineering, Complex Systems +10

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

Real-time object-oriented modeling

Choice Reviews Online · 1994 · 1K citations

Computing, Computer Science, Formal Methods +15

Real-time object-oriented modeling

John Fendrich · Control Engineering Practice · 1995 · 396 citations

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 309 citations · Full text

Computing, Aerospace Engineering, Computer Science +16