D. Sales, C. Koliver, and L. Becker.
"Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models", in <em>Anais do X Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Evento Online, 2020, pp. 95-102.