DEEM: a tool for the dependability modeling and evaluation of multiple phased systems | IEEE Conference Publication | IEEE Xplore