@article{BS3,
title = { Correct by design coordination of autonomous driving systems },
author = {Bozga, Marius and Sifakis, Joseph},
year = {2023},
journal = {Int. J. Softw. Tools Technol. Transf.},
number = {5},
pages = {625--639},
volume = {25},
team = {axe_Mohytos, RSD},
}
