Phil wrote:
You can get dedicated setpoint/temperature controllers (Omron/Redlion
to name but two) that do this for you without all the faff.

Thanks, but I don't really want a setpoint controller. The dedicated
product I require is a trip amplifier with user-adjustable setpoints
and response time.