@article{DRJ+5,
title = { Specification and model-checking of space systems in the TASTE toolset },
author = {Dragomir, Iulia and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Ober, Iulian and Bozga, Marius and Perrotin, Maxime},
month = {May},
year = {2025},
journal = {Innovations in Systems and Software Engineering},
pages = {961--984},
volume = {21},
team = {axe_Mohytos, RSD},
}
