TACAS 2010Embedded Systems Design - Scientific Challenges and Work DirectionsJoseph SifakisPDFDOI 10.1007/978-3-642-12002-2_1dblpBibTeXAbstract elided by the publisher.