Edmund M. Clarke, Bernd–Holger Schlingloff (1999). Model Checking.. https://knowledgetrend.com/paper/model-checking