On the development of reactive systems. Logics and models of concurrent systems (1985)

by D Harel, A Pnueli
Venue:ASI series, vol F-13