Horta, Bráulio, Juliana de Melo Bezerra, and Celso Massaki Hirata.
" Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns." <em>Proceedings of the 1st Workshop on System-Theoretic Accident Model and Processes,
Florianópolis, 2021</em>. SBC, 2021,  
n. pag.