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

by H Lachover D Harel, A Pnueli A Naamad, et
Venue:IEEE Transactions on Software Engineering