Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 - Grzegorz Rozenberg, Frits W. Vaandrager ((Lecture Notes in Computer Science))