Incremental design of statechart specifications

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

Requirements specification for process-control systems

Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth et al. · IEEE Transactions on Software Engineering · 1994 · 556 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Specification of behavioral semantics in object-oriented information modeling

Bill Harvey, Haim Kilov, Hafedh Mili · 1993 · 15 citations

Engineering, Information Systems, Behavior Analysis +6