You are about to access our book library "Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284) full version" .