Irfan Šljivo, B. Gallina, Bernhard Kaiser 8 12. 9. 2017. Assuring Degradation Cascades of Car Platoons via Contracts SAFECOMP Workshops Engineering Computer Science + 1