A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems | Synapse