Sales, Diego, Koliver, Cristian, E Becker, Leandro. " Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models" Anais do SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais (SBESC) [Online], (23 novembro 2020)