A Modular SystemC RTOS Model for Uncertainty Analysis. - Lorenzo Lazzara; Giulio Mosé Mancuso; Fabio Cremona; Alessandro Ulisse (CyPhy/WESE, 2019)

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)

The METASAT Model-Based Engineering Workflow and Digital Twin Concept. - Alejandro J. Calderón; Irune Yarza; Stefano Sinisi; Lorenzo Lazzara; Valerio Di Valerio; Giulia Stazi; Leonidas Kosmidis; Matina Maria Trompouki; Alessandro Ulisse; Aitor Amonarriz; Peio Onaindia (DATE, 2024)

Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin. - Lorenzo Lazzara; Giulia Stazi; Valerio Di Valerio; Stefano Sinisi; Alessandro Ulisse; Marc Solé Bonet; Janis Wolf; Leonidas Kosmidis (Software Engineering Companion, 2025)