Event-B is an event-driven approach for system development. It has the flexibility to develop different discrete control systems. Event-B is a refinement-based step-by-step modeling methodology. There is a well-tested open-source tool available for Event-B model checking, formalization of mathematical proofs and system validation is done in RODIN. This paper presents a short survey on the usage of an Event-B-based model to locate the research gaps followed by a case study to build a model using the 2-stage refinement strategy to stop the precious groundwater wastage and conserve it. We try to model the behavior required for the environment of the system. The proposed controller then controls the environment. The controller acts accordingly and achieves the goal of groundwater conservation. © 2021, Springer Nature Singapore Pte Ltd.