DOI,IST REx ID,Research Group,Title of publication
10.5281/zenodo.10065866,23183,ToHe,Bubaak at SV-COMP 2024