https://5dok.org/document/z3do0vrd-model-based-verification-dynamic-behavior.html