Zhenbang Chen Zhiming Liu Volker Stolz Lu Yang Anders P. Ravn A Refinement Driven Component-Based Design. 277-289 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.12 db/conf/iceccs/iceccs2007.html#ChenLSYR07