@misc{indiciaea7d556c12013, title = {UML 2 Semantics Symposium: Formal Semantics for UML}, author = {Manfred Broy and Michelle L. Crane and Juergen Dingel and Alan Hartman and Bernhar Rumpe and Brau Selic}, year = {2014}, url = {https://arxiv.org/abs/1409.6619}, note = {Source identifier: 1409.6619} }