An approach for integrated specification and design of real-time systems

Yankin Tanurhan, H. Gölz, Stefan Schmerler, Klaus D. Müller-Glaser. An approach for integrated specification and design of real-time systems. In Graham Symonds, Wolfgang Nebel, editors, Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996. pages 258-263, IEEE Computer Society Press, 1996. [doi]