Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. - Leonie Ahrendts; Sophie Quinton; Thomas Boroske; Rolf Ernst (ECRTS, 2018)