Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos - Rosa, Marcelo (2019)