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