https://9dok.net/document/q7wkov8d-state-identification-and-verification-using-a-model-checker.html