Semantics of Control-Flow in UML 2.0 Activities | IEEE Conference Publication | IEEE Xplore