Specify-explore-refine (SER): from specification to implementation. - Andreas Gerstlauer; Junyu Peng; Dongwan Shin; Daniel Gajski; Atsushi Nakamura; Dai Araki; Yuuji Nishihara (DAC, 2008)