Integrated demonstrator on modelling, verification and reliability analysis