METASAT: Modular Model-Based Design and Testing for Applications in Satellites. - Leonidas Kosmidis; Alejandro J. Calderón; Aridane Álvarez Suárez; Stefano Sinisi; Eckart Göhler; Paco Gómez Molinero; Alfred Hönle; Alvaro Jover-Alvarez; Lorenzo Lazzara; Miguel Masmano Tello; Peio Onaindia; Tomaso Poggi; et al. (SAMOS, 2023)

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. - Tobias Dörr; Florian Schade; Jürgen Becker 001; Georgios Keramidas; Nikos Petrellis; Vasilios I. Kelefouras; Michail Mavropoulos; Konstantinos Antonopoulos; Christos P. Antonopoulos; Nikolaos S. Voros; Alexander Ahlbrecht; Wanja Zaeske; et al. (DATE, 2024)