I like the proportional output of the HerpStat controller, but the fact they make no claims as to program error detection bothers me a little. But then again, in my experience program fault detection rarely detects program faults.
Right now I'm leaning towrds a HerpStat with a Johnson Controls backup.