A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. - Aleksandar Kirilov; Darko Martinovikj; Kristijan Mishevski; Marija Petkovska; Zlatka Trajcheska; Jasen Markovski (SEFM Workshops, 2013)