Model Based Reliability Engineering