Modeling and Schedulability Verfication of IMA Partitioning Based on AADL | IEEE Conference Publication | IEEE Xplore