Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns. - Bráulio Marques Horta; Juliana de Melo Bezerra; Celso Massaki Hirata (LADC, 2021)