STATEMATE; A Working Environment for the Development of Complex Reactive Systems. - David Harel; Hagi Lachover; Amnon Naamad; Amir Pnueli; Michal Politi; Rivi Sherman; Aharon Shtull-Trauring (ICSE, 1988)

STATEMATE: A Working Environment for the Development of Complex Reactive Systems. - David Harel; Hagi Lachover; Amnon Naamad; Amir Pnueli; Michal Politi; Rivi Sherman; Aharon Shtull-Trauring; Mark B. Trakhtenbrot (IEEE Trans. Software Eng., 1990)