Deriving Data Dependence from/for UML State Machine Diagrams | IEEE Conference Publication | IEEE Xplore