Benders, D., Köhler, J., Niesten, T., Babuška, R., Alonso-Mora, J., & Ferranti, L. HMPC [Computer software]