https://1library.net/document/q01k70gz-model-checker-epistemic-hybrid-automata-using-constraints-programming.html