A Model-Based Testing for AADL Model of Embedded Software | IEEE Conference Publication | IEEE Xplore