Quantitative Reliability Assessment for Mobile Cooperative Systems. - Francesca Saglietti; Ralf Spengler; Matthias Meitner (SAFECOMP Workshops, 2016)