Bráulio Horta, Juliana Bezerra, and Celso Hirata. 2021.
 Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns. In <em>Anais do I Workshop on System-Theoretic Accident Model and Processes</em>, novembro 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.