https://5dok.org/document/ozljklry-automatic-test-generation-mutation-analysis-using-uppaal-smc.html