Multi-layer resource configuration and safety optimization for integrated modular avionics with resource sharing and isolation - Hongli Wang; Zhiwei Chen; Xiaotong Fang (PLoS ONE, 2026)