@proceedings{jensen_tools_2023,
    title = {Tools and Algorithms for the Construction and Analysis of Systems: a Special Issue on Tool Papers for TACAS 2021},
    editor = {Jensen, Peter Gj\o{}l and Neele, Thomas},
    year = {2023},
    publisher = {Springer},
    series = {},
    volume = {25},
    doi = {10.1007/s10009-023-00699-x},
}