@article{holzmann1997,
  title={The model checker SPIN},
  author={Gerard J. Holzmann},
  year={1997},
  journal={IEEE Transactions on Software Engineering},
  doi={10.1109/32.588521},
  url={https://doi.org/10.1109/32.588521}
}