TY - BOOK AU - AU - Gajski, Daniel D. TI - Embedded system design: modeling, synthesis and verification SN - 9781441905031 U1 - 621.392 PY - 2009/// CY - New York PB - Springer Science+Media KW - Embedded computer systems ER -