Analysis on demand: Instantaneous soundness checking of industrial business process modelsDirk FahlandCédric Favreet al.2011Data and Knowledge Engineering