Specification of real-time and hybrid systems in FOCUS - Müller, Olaf; Scholz, Peter (Technische Universität <München>: TUM-I, 1996)