control system, Eclipse IDE, Event-B, Event-B Modeling, Formal Modeling, Industry Automation, Proof obligation, RODIN tool, Water pump controller.