The digital industry requires increasingly complex and reliable software systems. They need to control and make decisions at runtime, and that decision making can become very critical. As a consequence, the verification ...