Peter Killisperger Georg Peters Markus Stumptner Thomas Stückl Method Manual based Process Generation and Validation. 256-261 2009 ICEIS (3) conf/iceis/2009-3 db/conf/iceis/iceis2009-3.html#KillispergerPSS09