Hiroyuki Nakagawa Kenji Taguchi Shinichi Honiden Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. 531-532 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321729 db/conf/kbse/ase2007.html#NakagawaTH07