Sales, D., Koliver, C., & Becker, L. (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, (pp. 95-102). Porto Alegre: SBC.