https://heltweg.org/posts/certification-of-iterated-belief-changes-via-model-checking-and-its-implementation/