Embedded Control System Design : A Model Based Approach - Forrai, Alexandru. (Springer Berlin Heidelberg : Imprint: Springer, 2013)