Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 (Springer, 1998)