set on_failure_script_quits
ocra_check_refinement -i  "C:\Users\stefano\Programmi\eclipse-modeling-luna-R-win32-x86_64\runtime-rantaim\WBS_CHESSLuna\NuSMV3-OCRA\Files\WheelBrakingSystem_System.oss"
quit
