"Object-Oriented Specification of Reactive Systems."

H.-M. Järvinen et al. (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics