System Reliability using Simulation Models and Formal Methods