Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems | IEEE Conference Publication | IEEE Xplore