id: 70836167
dt: a
an: 70836167
au: Chen, Zhenbang; Liu, Zhiming; Stolz, Volker; Yang, Lu; Ravn, Anders P.
ti: A refinement driven component-based design
so: ICECCS, 277-289 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.12