@article{Holzmann_1997,
    doi = {10.1109/32.588521},
    url = {https://doi.org/10.1109%2F32.588521},
    year = {1997},
    month = {may},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {23},
    number = {5},
    pages = {279--295},
    author = {G.J. Holzmann},
    title = {The model checker {SPIN}},
    journal = {{IEEE} Transactions on Software Engineering}
}

@article{Holzmann_1997, doi = {10.1109/32.588521}, url = {https://doi.org/10.1109%2F32.588521}, year = {1997}, month = {may}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {23}, number = {5}, pages = {279--295}, author = {G.J. Holzmann}, title = {The model checker {SPIN}}, journal = {{IEEE} Transactions on Software Engineering} }