Model-based Toolchain for Core Flight System (cFS) Embedded Systems. - Hugo Valente; Miguel A. de Miguel; Ángel-Grover Pérez-Muñoz; Alejandro Alonso 001; Juan Zamorano; Juan Antonio de la Puente (ACM Trans. Embed. Comput. Syst., 2025)