@article{markovski2013supervisory,
  title={Supervisory Coordination of Timed Communicating Processes}
  author={Markovski, Jasen}
  journal={ICT Innovations 2013, Web Proceedings ISSN 1857-7288}
  pages={209--218}
  year={2013}
}