Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB. - Yulai Zhou; Patrizio Pelliccione; Johan Haraldsson; Mafijul Md. Islam (SERENE, 2017)