TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems. - Jane Jovanovski; Maja Siljanoska; Vladimir Carevski; Dragan Sahpaski; Petar Gjorcevski; Metodi Micev; Bojan Ilijoski; Vlado Georgiev (ICT Innovations, 2011)