@article{clarke1999,
  title={Model Checking},
  author={Edmund M. Clarke and Bernd–Holger Schlingloff},
  year={1999},
  url={https://knowledgetrend.com/paper/model-checking}
}