Horta, B., 		Bezerra, J., & 		Hirata, C.
(2021).
 Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns.
In <em>Proceedings of the 1st Workshop on System-Theoretic Accident Model and Processes</em>. Porto Alegre: SBC.