Eugenio Villar Embedded Systems Specification and Design Languages - Germany Springer 2014 ISBN: 9781402082979 Subjects--Topical Terms: Embedded Systems Specification and Design Languages