Verifying proper system operations (heat and air conditioning related domains (1)