set on_failure_script_quits
ocra_check_refinement -i  "C:\Users\stefano\Programmi\PolarsysCHESS0.10.0-win32-x86_64\workspace\WBS_CHESSLuna\NuSMV3-OCRA\Files\WheelBrakingSystem_System.oss"
quit
