On the development of reactive systems (1985)

by David Harel, Amir Pnueli
Venue:Logics and models of concurrent systems, volume F13 of NATO ASI Series