TY - BOOK AU - Eugenio Villar TI - Embedded Systems Specification and Design Languages SN - 9781402082979 PY - 2014/// CY - Germany PB - Springer KW - Embedded Systems Specification and Design Languages UR - http://link.springer.com/book/10.1007/978-1-4020-8297-9 ER -