Harald Störrle Semantics of Control-Flow in UML 2.0 Activities. 235-242 2004 conf/vl/2004 VL/HCC http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.46 db/conf/vl/vlhcc2004.html#Storrle04