Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / - Kündig, A.; Bührer, R. E.; Dähler, J. (Springer-Verlag,, 1987)