Dirk Fahland Cédric Favre Barbara Jobstmann Jana Koehler Niels Lohmann Hagen Völzer Karsten Wolf Instantaneous Soundness Checking of Industrial Business Process Models. 278-293 2009 BPM http://dx.doi.org/10.1007/978-3-642-03848-8_19 conf/bpm/2009 db/conf/bpm/bpm2009.html#FahlandFJKLVW09