On Schedulability Analysis for Embedded Systems with AADL Model | IEEE Conference Publication | IEEE Xplore