<?xml version="1.0" encoding="UTF-8"?>
<counter-example type="0" desc="AG alpha Counterexample" >
	<node>
		<state id="1">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev_null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev_null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="2">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev_furnaceFault</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceNormal</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev_furnaceFault</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceNormal</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">FALSE</value>
		</state>
	</node>
	<node>
		<state id="3">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev_null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">SmHouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">SmHouseControllerController_off</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev_null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">Sm1HouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">Sm1HouseControllerController_off</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="4">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev___autotransition__</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">27</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-39</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">SmHouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">SmHouseRoomRoomNoHeatReq_idleNotHeat</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">SmHouseControllerController_off</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev___autotransition__</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">27</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">-39</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">Sm1HouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">Sm1HouseRoomRoomNoHeatReq_idleNotHeat</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">Sm1HouseControllerController_off</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">FALSE</value>
		</state>
	</node>
	<node>
		<state id="5">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev_null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">SmHouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">SmHouseRoomRoomNoHeatReq_waitForHeat</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">SmHouseControllerController_off</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev_null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">Sm1HouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">Sm1HouseRoomRoomNoHeatReq_waitForHeat</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">Sm1HouseControllerController_off</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">TRUE</value>
		</state>
	</node>
	<node>
		<state id="6">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev___autotransition__</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">27</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-39</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">7</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">7</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">2</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">SmHouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">SmHouseRoomRoomNoHeatReq_waitForHeat</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">SmHouseControllerController_off</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev___autotransition__</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">27</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">25</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">7</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">7</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">1</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">Sm1HouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">Sm1HouseRoomRoomNoHeatReq_waitForHeat</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">Sm1HouseControllerController_off</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">FALSE</value>
		</state>
	</node>
	<node>
		<state id="7">
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.state">Sm_heatingSystem</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.event">ev_null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.setTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.actualTemp">-100</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForWarm">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.warmUpTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.valvePos">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.waitedForCool">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.coolDownTimer">0</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.activate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.deactivate">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoom.state">SmHouseRoom_room</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoom.state">SmHouseRoomRoom_heatReq</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomNoHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseController.state">SmHouseController_controller</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerController.state">SmHouseControllerController_off</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmHouse.state">SmHouse_house</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnace.state">SmFurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSmFurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.state">Sm1_heatingSystem</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.event">ev_null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceStartUpTime">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.setTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.actualTemp">-100</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForWarm">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.warmUpTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.valvePos">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.waitedForCool">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.coolDownTimer">0</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceRunning">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.activate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.deactivate">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.requestHeat">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.furnaceReset">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoom.state">Sm1HouseRoom_room</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoom.state">Sm1HouseRoomRoom_noHeatReq</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomNoHeatReq.state">Sm1HouseRoomRoomNoHeatReq_idleNotHeat</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseRoomRoomHeatReq.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseController.state">Sm1HouseController_controller</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerController.state">Sm1HouseControllerController_off</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOn.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1HouseControllerControllerControllerOnHeaterActive.state">null</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1House.state">Sm1House_house</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnace.state">Sm1FurnaceFurnace_furnaceErr</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1FurnaceFurnaceFurnaceNormal.state">null</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g18">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g12">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g10">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g4">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g3">TRUE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.g1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t24">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t23">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t22">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t21">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t20">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t19">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t18">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t17">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t16">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t15">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t14">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t13">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t12">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t11">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t10">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t9">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t8">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t7">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t6">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t5">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t4">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t3">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t2">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.t1">FALSE</value>
			<value variable="heatControlSystemSm_Machine.heatControlSystemSm.sm_stable">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g18">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g12">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g10">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g4">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g3">TRUE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.g1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t24">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t23">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t22">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t21">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t20">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t19">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t18">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t17">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t16">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t15">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t14">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t13">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t12">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t11">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t10">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t9">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t8">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t7">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t6">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t5">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t4">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t3">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t2">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.t1">FALSE</value>
			<value variable="heatControlSystemSm1_Machine.heatControlSystemSm1.sm1_stable">TRUE</value>
		</state>
	</node>
	<loops> </loops>
</counter-example>
