Embedded Systems Specification and Design Languages - Ao, Sio-Iong; Villar, Eugenio; Xu, Li (Springer Netherlands, 2008)