Horta, Bráulio, 		Bezerra, Juliana, AND 		Hirata, Celso.
" Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns" <em>Proceedings of the Workshop on System-Theoretic Accident Model and Processes (STAMP)</em> [Online], (22 November 2021)