Horta, Bráulio, Juliana de Melo Bezerra, and Celso Massaki Hirata.
" Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns." <em>Anais do I Workshop on System-Theoretic Accident Model and Processes,
Florianópolis, 2021</em>. SBC, 2021,  
sem paginação.