Moved report to Discrete Model Checking