id: 50249731
dt: j
an: 50249731
au: Henzinger, Thomas A.; Sifakis, Joseph
ti: The discipline of embedded systems design
so: IEEE Computer 40, No. 10, 32-40 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/MC.2007.364