An approach for integrated specification and design of real-time systems. - Yankin Tanurhan; H. Gölz; Stefan Schmerler; Klaus D. Müller-Glaser (EURO-DAC, 1996)