Reliability Modeling and Redundancy Allocation for Systems of Dependent Components Using Copula Functions | Synapse