Ryosuke Yamasaki Kazutaka Kobayashi Nurul Azma Zakaria Shuji Narazaki Norihiko Yoshida Refactoring-Based Stepwise Refinement in Abstract System-Level Design. 712-721 2006 conf/euc/2006 EUC http://dx.doi.org/10.1007/11802167_72 db/conf/euc/euc2006.html#YamasakiKZNY06