Evaluation Of The Benefits And Limitations Of Verification Activities In Developing A Critical System Using Model-Based Development