@inproceedings{bibcite_70,
  author = {Zamira Daw and John Mangino and Rance Cleaveland},
  title = {UML-VT: A Formal Verification Environment for UML Activity Diagrams.},
  year = {2015},
  journal = {P\&D@ MoDELS},
  language = {eng},
}