LDR 00502nam a2200145Ia 4500 008 170106s2009||||xx |||||||||||||| ||und|| 020 _a9781402097133 082 _a004 _bRAD 100 _aRadetzki, Martin 245 0 _aLanguages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08 260 _aNew York _bSpringer _c2009 300 _axiv, 324p. ; 24cm 440 _aLecture notes in electrical Engineering : v.36 942 _cBK 999 _c17089 _d17089