@article{Groote_2010,
    doi = {10.1002/spe.1021},
    url = {https://doi.org/10.1002%2Fspe.1021},
    year = {2010},
    month = {nov},
    publisher = {Wiley},
    volume = {41},
    number = {2},
    pages = {143--153},
    author = {J. F. Groote and J. J. A. Keiren and F. P. M. Stappers and J. W. Wesselink and T. A. C. Willemse},
    title = {Experiences in developing the {mCRL}2 toolset},
    journal = {Software: Practice and Experience}
}

@article{Groote_2010, doi = {10.1002/spe.1021}, url = {https://doi.org/10.1002%2Fspe.1021}, year = {2010}, month = {nov}, publisher = {Wiley}, volume = {41}, number = {2}, pages = {143--153}, author = {J. F. Groote and J. J. A. Keiren and F. P. M. Stappers and J. W. Wesselink and T. A. C. Willemse}, title = {Experiences in developing the {mCRL}2 toolset}, journal = {Software: Practice and Experience} }