Model-based Toolchain for Core Flight System (cFS) Embedded Systems. - Valente, Hugo; de Miguel, Miguel; Pérez-Muñoz, Ángel; Alonso, Alejandro; Zamorano, Juan; De La Puente, Juan (ACM Transactions on Embedded Computing Systems, 2025)