Return to Article Details Towards a model for integrating process verification in process-driven application development Download Download PDF