Peter Scholz: A Light-Weight Formalism for the Specification of Reactive Systems. SOFSEM 1996: 425-432