Chen, J., Zhai, Z., Han, P., Huang, M. (2025). Model-based partition scheduling of integrated modular avionics systems using genetic algorithm. Scientific Reports. https://doi.org/10.1038/s41598-025-16745-4