Jean Malm Federico Ciccozzi Jan Gustafsson Björn Lisper Jonas Skoog Static Flow Analysis of the Action Language for Foundational UML. 161-168 2018 ETFA https://doi.org/10.1109/ETFA.2018.8502620 conf/etfa/2018 db/conf/etfa/etfa2018.html#MaImCGLS18