A Layered Fault Tree Model for Reliability Evaluation of Smart Grids | Synapse