Static Flow Analysis of the Action Language for Foundational UML. - Jean Malm; Federico Ciccozzi; Jan Gustafsson; Björn Lisper; Jonas Skoog (ETFA, 2018)