000			00366nam a2200133Ia 4500
008			231011s9999||||xx |||||||||||||| ||und||
020			_a9788132211068
041			_aeng
082			_a004.21 _bT06 GAJ.A
100			_aGajski, Daniel D. … [et al.]
245		0	_aEmbedded system design: modeling synthesis and verification
260			_bSpringer _c2006
942			_cBK
999			_c24110 _d24110