Andreas Gerstlauer Junyu Peng Dongwan Shin Daniel Gajski A. Nakamura Dai Araki Y. Nishihara Specify-explore-refine (SER): from specification to implementation. 586-591 2008 DAC http://doi.acm.org/10.1145/1391469.1391617 conf/dac/2008 db/conf/dac/dac2008.html#GerstlauerPSGNAN08