Tabinda Waheed Muhammad Zohaib Z. Iqbal Zafar I. Malik Data Flow Analysis of UML Action Semantics for Executable Models. 79-93 2008 ECMDA-FA http://dx.doi.org/10.1007/978-3-540-69100-6_6 conf/ecmdafa/2008 db/conf/ecmdafa/ecmdafa2008.html#WaheedIM08