Hierarchical resource allocation for integrated modular avionics systems | BIAI Journals & Magazine | IEEE Xplore