Horta, B., 		Bezerra, J., & 		Hirata, C.
2021 nov 22.  Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns. Anais do Workshop on System-Theoretic Accident Model and Processes (STAMP). [Online] :