Quantitative evaluation of dependability critical systems based on guarded Statechart models | IEEE Conference Publication | IEEE Xplore