Sorin A. Huss Advances in Design and Specification Languages for Embedded Systems - Germany Springer 2014 ISBN: 9781402061493 Subjects--Topical Terms: Advances in Design and Specification Languages for Embedded Systems