B. Horta, J. Bezerra, and C. Hirata.
" 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>, Florianópolis, 2021.