Reference:

C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22–31, Masaryk University, Brno, 2002.

Suggested BibTeX entry:

@inproceedings{SSE02,
    address = {Masaryk University, Brno},
    author = {C. Schr{\"o}ter and S. Schwoon and J. Esparza},
    booktitle = {Proceedings of Toolsday-Workshop (satellite event of CONCUR'02)},
    pages = {22--31},
    series = {Report Series FIMU-RS-2002-05},
    title = {The {M}odel-{C}hecking {K}it},
    year = {2002}
}