https://9pdf.org/document/q7wlx68d-basic-model-checking-algorithms.html