Specification and Design of Embedded Systems - Gajski, D; Others (Vidhyanagar Pearson, 2012)