Jörg Desel Gabriel Juhás Robert Lorenz Christian Neumair Modelling and Validation with VipTool. 380-389 2003 conf/bpm/2003 Business Process Management http://link.springer.de/link/service/series/0558/bibs/2678/26780380.htm db/conf/bpm/bpm2003.html#DeselJLN03