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