SALES, Diego; KOLIVER, Cristian; BECKER, Leandro. Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 10. , 2020, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 95-102. ISSN 2237-5430.