TY - BOOK AU - Sorin A. Huss TI - Advances in Design and Specification Languages for Embedded Systems SN - 9781402061493 PY - 2014/// CY - Germany PB - Springer KW - Advances in Design and Specification Languages for Embedded Systems UR - http://link.springer.com/book/10.1007/978-1-4020-6149-3 ER -