Grzegorz Rozenberg Frits W. Vaandrager Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 School on Embedded Systems Lecture Notes in Computer Science 1494 Springer 1998 3-540-65193-4 db/conf/eef/eef1996.html