H. Debbi, “Counterexamples in Model Checking - A survey”, IJCAI, vol. 42, no. 2, Jan. 2018.