Refactoring-Based Stepwise Refinement in Abstract System-Level Design. - Ryosuke Yamasaki; Kazutaka Kobayashi; Nurul Azma Zakaria; Shuji Narazaki; Norihiko Yoshida (EUC, 2006)