STATEMATE: A Working Environment for the Development of Complex Reactive Systems (1990)

by David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot
Venue:IEEE Transactions on Software Engineering