@article{markovski2012verifying,
  title={Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2}
  author={Markovski, Jasen and A. Reniers, M.}
  journal={ICT Innovations 2012, Web Proceedings ISSN 1857-7288}
  pages={295--304}
  year={2012}
}