et al: STATEMATE: a Working Environment for the Development of Complex Reactive Systems (1990)

by D Har’el, H Lachover, A Naamad, A Pnueli
Venue:IEEE Transactions on Software Engineering