A theory of regular MSC languages

The unified Modeling Language User Guide

Geoff Glasson · Linux journal · 1999 · 3.3K citations

Computing, Computer Science, Systems Engineering +12

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

LSCs: Breathing Life into Message Sequence Charts

Werner Damm, David Harel · Formal Methods in System Design · 2001 · 822 citations

Computing, Data Science, Data Analytics +4

Weak Second‐Order Arithmetic and Finite Automata

J Büchi · Mathematical logic quarterly · 1960 · 819 citations

Computing, Computer Science, Mathematics +9

Executable object modeling with statecharts

David Harel, Eran Gery · Computer · 1997 · 534 citations

Engineering, Computer Science, Systems Engineering +17