Embedded Systems : New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986 - Kündig, A (Verfasser); Bührer, R. E (Verfasser); Dähler, J (Verfasser) (Lecture Notes in Computer Science, 1987)