If you go the way of DOS -
You can also get a FMM with 2.sensors -
so that if one sensor is triggered (ie the water going out is functional but the incoming water side is non functional) -the programming stops both of them and alerts you regardless of the ato used.
I have a QD DOS. Works...