DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems