Model-based Toolchain for Core Flight System (cFS) Embedded Systems - Valente, Hugo; De Miguel, Miguel; Perez-Munoz, Angel; Alonso, Alejandro; Zamorano, Juan; De La Puente, Juan (Acm Transactions On Embedded Computing Systems, 2025)