TY - BOOK AU - Bruno Bouyssounouse, Joseph Sifakis TI - Embedded Systems Design SN - 978-3-540-31973-3 PY - 2005/// CY - Germany PB - Springer KW - Computer Science KW - Embedded Systems Design UR - http://link.springer.com/openurl?genre=book&isbn=978-3-540-25107-1 ER -