000 00355nam a2200157Ia 4500
082 _a001.64404/Gaj
100 _aGajski, Daniel D
526 _dTB
526 _aPG
366 _f28.25
942 _cBK
245 _aEmbedded System Design: Modeling Synthesis and Verification
260 _aLondon
_bSpringer
_c2013
300 _axvii,352
546 _aE
999 _c78493
_d78493