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 B Trakhtenbrot
Venue:Software Engineering