@inproceedings{DRJ+2,
title = {Model-checking of space systems designed with {TASTE/SDL} },
author = {Dragomir, Iulia and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Ober, Iulian and Kolesnikov, Ivan and Bozga, Marius and Perrotin, Maxime},
year = {2022},
booktitle = {MoDELS (Companion)},
pages = {237--246},
publisher = {{ACM}},
team = {axe_Mohytos, RSD},
}