Joseph Sifakis
-
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)