H.-M. Järvinen Reino Kurki-Suonio Markku Sakkinen Kari Systä Object-Oriented Specification of Reactive Systems. 63-71 1990 ICSE db/conf/icse/icse90.html#JarvinenKSS90