Jichen Chen, Zhengjun Zhai, Pujie Han, Min Huang. "Model-based partition scheduling of integrated modular avionics systems using genetic algorithm." Scientific Reports (2025). https://doi.org/10.1038/s41598-025-16745-4