Embedded Systems Development From Functional Models to Implementations - Sangiovanni-Vincentelli, Alberto; Zeng, Haibo; Di Natale, Marco; Marwedel, Peter (Springer New York : Imprint: Springer, 2014)