@inproceedings{bunte_mcrl2_2019,
    title = {The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability},
    authors = {Bunte, Olav and Groote, Jan Friso and Keiren, Jeroen J. A. and Laveaux, Maurice and Neele, Thomas and de Vink, Erik P. and Wesselink, Wieger and Wijs, Anton and Willemse,  Tim A. C.},
    year = {2019},
    publisher = {Springer},
    booktitle = {TACAS 2019},
    pages = {21--39},
    series = {LNCS},
    volume = {11428},
    doi = {10.1007/978-3-030-17465-1_2},
}