@misc{cledou_2020_3818020, author = {Cledou, Guillermina and Proença, José and Sputh, Bernhard H.C. and Verhulst, Eric}, title = {{Verification of Real-Time Coordination in VirtuosoNext (extended version)}}, month = may, year = 2020, publisher = {Zenodo}, doi = {10.5281/zenodo.3818020}, url = {https://doi.org/10.5281/zenodo.3818020} }