Reliability-Based Life-Cycle Management of Highway Bridges | Synapse