Sales, Diego, Cristian Koliver, and Leandro Becker.
" Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models." <em>Proceedings of the 10th Brazilian Symposium on Computing Systems Engineering,
Evento Online, 2020</em>. SBC, 2020,  
pp.95-102.