Sales, D., Koliver, C., & Becker, L. 2020 nov 23. 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] :