Integrating AADL within a Multi-domain Modeling Framework | IEEE Conference Publication | IEEE Xplore