set on_failure_script_quits
ocra_check_refinement -i  "D:\projects\AMASS\AMASS_collab\WP-transversal\ImplementationTeam\PrototypeCore\Vaditation_Data\CHESS\WBS_CHESS_OpenCert\NuSMV3-OCRA\Files\WheelBrakingSystem_System.oss"
quit
