Data Flow Analysis of UML Action Semantics for Executable Models. - Tabinda Waheed; Muhammad Zohaib Z. Iqbal; Zafar I. Malik (ECMDA-FA, 2008)