Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha: Schedulability bound for integrated modular avionics partitions. DATE 2015: 37-42