Ein System zur deduktionsbasierten formalen Verifikation von Workflow-orientierten Softwaremodellen