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