A Comparative Study of Formulations and Algorithms for Reliability-Based Co-Design Problems · Study