Extending and Formalizing UML 2.0 Activity Diagrams for the specification of time-constrained business processes
trends in business process analysis - from verification to process mining .