machine temp_switch
[ 
	state above_treshold;
	starting state below_treshold;
	
	from below_treshold to above_treshold
		on event above_temperature "10";
	from above_treshold to below_treshold
		on event below_temperature "9";
	on state above_treshold
		on event get_temp | html_encase | http_out ;
];