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

by D Harel, A Pnueli
Venue:NATO Advanced Summer Institutes