Embedded Systems Development - Sangiovanni-Vincentelli, Alberto; Zeng, Haibo; Di Natale, Marco; Di Natale, Marco; Marwedel, Peter; Marwedel, Peter (Springer New York, 2014)