Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Paperback, 1987)