Modelling, Simulation and Verification