Studying on AADL-Based Architecture Abstraction of Embedded Software | IEEE Conference Publication | IEEE Xplore