Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Alie El-Din Mady; Miran Hasanagic; Peter Gorm Larsen (SEFM Workshops, 2017)

Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Erica Zavaglio; Pasquale Antonante; Hajer Saada; Sara Falleni (ISoLA (3), 2018)