TY  - BOOK
AU  - Radetzki, Martin 
TI  - Languages for embedded systems and their applications : selected contributions on specification design and verification from FDL 08
SN  - 9781402097133
U1  - 004 
PY  - 2009///
CY  - New York
PB  - Springer
ER  -