@article{jovanovski2011tmacs:,
  title={TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems}
  author={Jovanovski, Jane and Siljanoska, Maja and Carevski, Vladimir and Sahpaski, Dragan and Gjorcevski, Petar and Micev, Metodi and Ilijoski, Bojan and Georgiev, Vlado}
  journal={ICT Innovations 2011, Web Proceedings ISSN 1857-7288}
  pages={335--345}
  year={2011}
}