@misc{indiciae661dbf439530,
  title = {Transformation of UML Behavioral Diagrams to Support Software Model Checking},
  author = {Luciana Brasil Rebelo dos Santos and Valdivino Alexandre de Santiago Júnior and Nandamudi Lankalapalli Vijaykumar},
  year = {2014},
  doi = {10.4204/eptcs.147.10},
  url = {https://arxiv.org/abs/1404.0855},
  note = {Source identifier: 1404.0855}
}