et al. STATEMATE: a working environment for the development of complex reactive systems (1990)

by D Har’el, H Lachover, A Naamad, A Pnueli
Venue:IEEE Transactions on Software Engineering