@article {IOPORT.50146166,
    author       = {Groote, Jan Friso and Keiren, Jeroen and Stappers, Frank P. M. and Wesselink, Wieger and Willemse, Tim A. C.},
    title        = {Experiences in developing the mcrl2 toolset},
    year         = {2011},
    journal      = {Softw., Pract. Exper.},
    volume       = {41},
    number       = {2},
    pages        = {143-153},
    doi          = {10.1002/spe.1021},
    identifier   = {50146166},
}