<?xml version="1.0" encoding="UTF-8"?>
<counter-example type="0" desc="AG alpha Counterexample" >
	<node>
		<state id="1">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_null</value>
			<value variable="cruiseControlSystemControlCruiseController.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">null</value>
			<value variable="cruiseControlSystemControl.state">null</value>
			<value variable="cruiseControlSystemSensorScan.state">null</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">null</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">null</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">FALSE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">FALSE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">FALSE</value>
			<value variable="cruiseControlSystem.t29">FALSE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">FALSE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">FALSE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">FALSE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="2">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_engineOn</value>
			<value variable="cruiseControlSystemControlCruiseController.state">CruiseControlSystemControlCruiseController_cruiseController</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">CruiseControlSystemControlSpeedControl_speedControl</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">null</value>
			<value variable="cruiseControlSystemControl.state">CruiseControlSystemControl_control</value>
			<value variable="cruiseControlSystemSensorScan.state">CruiseControlSystemSensorScan_sensorScan</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">CruiseControlSystemInputSpeedInputSpeed_checkSpeed</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">CruiseControlSystemThrottleThrottle_tempState</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">FALSE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">TRUE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">FALSE</value>
			<value variable="cruiseControlSystem.t29">TRUE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">FALSE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">FALSE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">FALSE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">FALSE</value>
		</state>
	</node>
	<node>
		<state id="3">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_null</value>
			<value variable="cruiseControlSystemControlCruiseController.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">CruiseControlSystemControlCruiseControllerCruiseController_inactive</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">CruiseControlSystemControlSpeedControlSpeedControl_disabled</value>
			<value variable="cruiseControlSystemControl.state">null</value>
			<value variable="cruiseControlSystemSensorScan.state">null</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">null</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">null</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">FALSE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">FALSE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">FALSE</value>
			<value variable="cruiseControlSystem.t29">FALSE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">FALSE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">FALSE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">FALSE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="4">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_clearSpeed</value>
			<value variable="cruiseControlSystemControlCruiseController.state">CruiseControlSystemControlCruiseController_cruiseController</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">CruiseControlSystemControlCruiseControllerCruiseController_inactive</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">CruiseControlSystemControlCruiseControllerCruiseControllerInactive_tempState</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">CruiseControlSystemControlSpeedControl_speedControl</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">CruiseControlSystemControlSpeedControlSpeedControl_disabled</value>
			<value variable="cruiseControlSystemControl.state">CruiseControlSystemControl_control</value>
			<value variable="cruiseControlSystemSensorScan.state">CruiseControlSystemSensorScan_sensorScan</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">CruiseControlSystemInputSpeedInputSpeed_checkSpeed</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">CruiseControlSystemThrottleThrottle_tempState</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">FALSE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">FALSE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">FALSE</value>
			<value variable="cruiseControlSystem.t29">FALSE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">TRUE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">TRUE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">FALSE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">FALSE</value>
		</state>
	</node>
	<node>
		<state id="5">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_null</value>
			<value variable="cruiseControlSystemControlCruiseController.state">CruiseControlSystemControlCruiseController_cruiseController</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">CruiseControlSystemControlCruiseControllerCruiseController_active</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">CruiseControlSystemControlSpeedControl_speedControl</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">CruiseControlSystemControlSpeedControlSpeedControl_disabled</value>
			<value variable="cruiseControlSystemControl.state">CruiseControlSystemControl_control</value>
			<value variable="cruiseControlSystemSensorScan.state">CruiseControlSystemSensorScan_sensorScan</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">CruiseControlSystemInputSpeedInputSpeed_checkSpeed</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">CruiseControlSystemThrottleThrottle_tempState</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">FALSE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">FALSE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">FALSE</value>
			<value variable="cruiseControlSystem.t29">FALSE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">FALSE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">FALSE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">FALSE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="6">
			<value variable="cruiseControlSystem.state">CruiseControlSystem_adaptiveControlSystem</value>
			<value variable="cruiseControlSystem.event">ev_engineOff</value>
			<value variable="cruiseControlSystemControlCruiseController.state">CruiseControlSystemControlCruiseController_cruiseController</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseController.state">CruiseControlSystemControlCruiseControllerCruiseController_active</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerInactive.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActive.state">CruiseControlSystemControlCruiseControllerCruiseControllerActive_tempState</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerActiveTempState.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruising.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerCruisingTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandby.state">null</value>
			<value variable="cruiseControlSystemControlCruiseControllerCruiseControllerStandbyTempState_1.state">null</value>
			<value variable="cruiseControlSystemControlSpeedControl.state">CruiseControlSystemControlSpeedControl_speedControl</value>
			<value variable="cruiseControlSystemControlSpeedControlSpeedControl.state">CruiseControlSystemControlSpeedControlSpeedControl_disabled</value>
			<value variable="cruiseControlSystemControl.state">CruiseControlSystemControl_control</value>
			<value variable="cruiseControlSystemSensorScan.state">CruiseControlSystemSensorScan_sensorScan</value>
			<value variable="cruiseControlSystemInputSpeedInputSpeed.state">CruiseControlSystemInputSpeedInputSpeed_checkSpeed</value>
			<value variable="cruiseControlSystemThrottleThrottle.state">CruiseControlSystemThrottleThrottle_tempState</value>
			<value variable="cruiseControlSystem.t40">FALSE</value>
			<value variable="cruiseControlSystem.t39">FALSE</value>
			<value variable="cruiseControlSystem.t38">TRUE</value>
			<value variable="cruiseControlSystem.t37">FALSE</value>
			<value variable="cruiseControlSystem.t36">FALSE</value>
			<value variable="cruiseControlSystem.t35">FALSE</value>
			<value variable="cruiseControlSystem.t34">FALSE</value>
			<value variable="cruiseControlSystem.t33">FALSE</value>
			<value variable="cruiseControlSystem.t32">FALSE</value>
			<value variable="cruiseControlSystem.t31">FALSE</value>
			<value variable="cruiseControlSystem.t30">TRUE</value>
			<value variable="cruiseControlSystem.t29">FALSE</value>
			<value variable="cruiseControlSystem.t28">FALSE</value>
			<value variable="cruiseControlSystem.t27">FALSE</value>
			<value variable="cruiseControlSystem.t26">FALSE</value>
			<value variable="cruiseControlSystem.t25">FALSE</value>
			<value variable="cruiseControlSystem.t24">FALSE</value>
			<value variable="cruiseControlSystem.t23">FALSE</value>
			<value variable="cruiseControlSystem.t22">FALSE</value>
			<value variable="cruiseControlSystem.t21">FALSE</value>
			<value variable="cruiseControlSystem.t20">FALSE</value>
			<value variable="cruiseControlSystem.t19">FALSE</value>
			<value variable="cruiseControlSystem.t18">FALSE</value>
			<value variable="cruiseControlSystem.t17">FALSE</value>
			<value variable="cruiseControlSystem.t16">FALSE</value>
			<value variable="cruiseControlSystem.t15">FALSE</value>
			<value variable="cruiseControlSystem.t14">FALSE</value>
			<value variable="cruiseControlSystem.t13">FALSE</value>
			<value variable="cruiseControlSystem.t12">FALSE</value>
			<value variable="cruiseControlSystem.t11">FALSE</value>
			<value variable="cruiseControlSystem.t10">FALSE</value>
			<value variable="cruiseControlSystem.t9">FALSE</value>
			<value variable="cruiseControlSystem.t8">FALSE</value>
			<value variable="cruiseControlSystem.t7">FALSE</value>
			<value variable="cruiseControlSystem.t6">FALSE</value>
			<value variable="cruiseControlSystem.t5">FALSE</value>
			<value variable="cruiseControlSystem.t4">FALSE</value>
			<value variable="cruiseControlSystem.t3">FALSE</value>
			<value variable="cruiseControlSystem.t2">TRUE</value>
			<value variable="cruiseControlSystem.t1">FALSE</value>
			<value variable="cruiseControlSystem.cruiseControlSystem_stable">FALSE</value>
		</state>
	</node>
	<loops> </loops>
</counter-example>
