Verifying hybrid system designs is complex due to the integration of discrete and continuous features, requiring formal verification, simulation, and testing. This paper presents a strategy for generating Simulink models from verified hybridised Event-B models, which use a correct-by-construction approach to progressively build both types of behaviours. A key challenge in simulating these models is synchronising the discrete and continuous elements. Our objective is to translate hybridised Event-B models into Simulink, with Stateflow representing the discrete components and MATLAB function blocks for the continuous ones. We illustrate this process through a water tank case study, demonstrating formal modelling, verification, and subsequent simulation of the generated Simulink model.