Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 151-156, 2007 , Funchal, Madeira, Portugal