@misc{indiciaef60400455be8,
  title = {The UML as a Formal Modeling Notation},
  author = {Andy Evans and Robert France and Kevin Lano and Bernhard Rumpe},
  year = {2014},
  doi = {10.1007/978-3-540-48480-6\_26},
  url = {https://arxiv.org/abs/1409.6919},
  note = {Source identifier: 1409.6919}
}