Deterministic UML Models for Interconnected Activities and State Machines.

Zamira Daw, Marcus Vetter

Browse the full MODELS paper archive.