@article{67,
  author = {Zamira Daw and Rance Cleaveland},
  title = {Comparing model checkers for timed UML activity diagrams},
  year = {2015},
  journal = {Science of Computer Programming},
  volume = {111},
  pages = {277–299},
  language = {eng},
}