Formal Schedulability Analysis and Simulation for AADL | IEEE Conference Publication | IEEE Xplore