Kovács Máté: Simulation and formal analysis of workflow models using model transformations : [abstract].