Lucas Lima, André Didier, Márcio Cornélio. A Formal Semantics for SysML Activity Diagrams. In Juliano Iyoda, Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science, pages 179-194, Springer, 2013. [doi]
Abstract is missing.