Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models | IEEE Conference Publication | IEEE Xplore