Daniel Fötsch, Elke Pulvermüller, Wilhelm R. Rossak: Modeling and Verifying Workflow-based Regulations. ReMo2V 2006