Jean MaIm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog. Static Flow Analysis of the Action Language for Foundational UML. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018. pages 161-168, IEEE, 2018. [doi]
Abstract is missing.