нашел! еще более простое и дешевое решение - китайский поплавковый выключатель. например, такой вот. там инструкция со схемой применения есть, поглядите.