Diego Sales, Cristian Koliver, and Leandro Becker. 2020. Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models. In Anais do X SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais, novembro 23, 2020, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 95-102.