setback thermostat with freeze protection program

We are looking for programmable setback thermostats for our radiant hot water heating system in our building. Freeze control is the real driving requirement, as the rads are on the outside cold wall of the units, and have a tendancy to freeze solid with the resulant mess in winter.
To prevent that, a program that temporarily cycles the heat on is needed (for instance 1 out of every 30 minutes), in addition to the normal freeze control program that is based on ambient air temp. The heater control is a normally closed (NC) circuit, where an open circuit causes the valve to open and hot water to circulate.
Can anyone point me to programmable thermostats with all of these features?
Any help much appreciated.
Cross posted to alt.hvac
Add pictures here
<% if( /^image/.test(type) ){ %>
<% } %>
Add image file
Upload is a website for homeowners and building and maintenance pros. It is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.