D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot,
STATEMATE: a working environment for the development of complex reactive systems IEEE Transactions on Software Engineering. ,vol. 16, pp. 135- 146 ,(1990) ,
10.1109/32.54292