id: 70808562
dt: a
an: 70808562
au: Dömer, Rainer
ti: Efficient modeling of embedded systems using computer-aided recoding
so: IESS, 310-311 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-04284-3_29