Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos - Rosa, Marcelo (2016)