From business process model to consistent implementation: A case for formal verification methodsJana KoehlerGiuliano Tirenniet al.2002EDOC 2002