Towards Certifying Network Calculus. - Etienne Mabille; Marc Boyer; Loïc Fejoz; Stephan Merz (ITP, 2013)