Jean-Pierre Queille, Joseph Sifakis: Specification and verification of concurrent systems in CESAR. Symposium on Programming 1982: 337-351