Quantitative evaluation method for the verification of complex mechatronic systems: Development of a realiability-based design process using stochastic Petri Nets: Dissertation