Deterministic UML Models for Interconnected Activities and State Machines

Zamira Daw, Marcus Vetter, "Deterministic UML Models for Interconnected Activities and State Machines," 12th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Denver, 2009, USA, pp. 556–570.