Object-Oriented Specification of Reactive Systems

@inproceedings{Jaervinen-al:ICSE90,
  author    = {H.{-}M. J{\"{a}}rvinen and
               Reino Kurki{-}Suonio and
               Markku Sakkinen and
               Kari Syst{\"{a}}},
  title     = {{Object-Oriented} Specification of Reactive Systems},
  booktitle = {ICSE},
  pages     = {63--71},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}