Nadzoru: A software tool for supervisory control of discrete event systems - Pinheiro L.P.* (2015)