Zhenbang Chen Zhiming Liu Anders P. Ravn Volker Stolz Naijun Zhan Refinement and verification in component-based model-driven design. 168-196 2009 74 Sci. Comput. Program. 4 http://dx.doi.org/10.1016/j.scico.2008.08.003 db/journals/scp/scp74.html#ChenLRSZ09