Christoph M. Kirsch;Reinhard Wilhelm
University of Salzburg, Salzburg, Austria;Saarland University, Saarbrücken, Germany
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
This is an introduction to the EMSOFT 2007 Panel on Grand Challenges in Embedded Software.