STATEMATE; A Working Environment for the Development of Complex Reactive Systems

@inproceedings{Harel-al:ICSE88,
  author    = {David Harel and
               Hagi Lachover and
               Amnon Naamad and
               Amir Pnueli and
               Michal Politi and
               Rivi Sherman and
               Aharon Shtull{-}Trauring},
  title     = {{STATEMATE;} A Working Environment for the Development of Complex Reactive Systems},
  booktitle = {ICSE},
  pages     = {396--406},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}