Specification and verification of concurrent systems (1982)

by J Queille, J Sifakis
Venue:Programming 1982. LNCS