STATEMATE: A working environment for the development of complex reactive systems (1990)

by D Harel, H Lachover, A Naamad, A Pnueli, M Politi, R Sherman, A ShtullTrauring, M Trakhtenbrot
Venue:IEEE Transactions on Software Engineering