Embedded systems development : from functional models to implementations - Alberto Sangiovanni-Vincentelli; HAIBO ZENG, MARCO DI NATALE, PETER MARWEDEL (LONDON SPRINGER, 2014)