Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen. - Dario Kresic (2008)

Probabilistic verification of BGP convergence. - Soroush Haeri; Dario Kresic; Ljiljana Trajkovic (ICNP, 2011)

Verifying Worst Case Delays in Controller Area Network. - Nikola Ivkovic; Dario Kresic; Kai-Steffen Hielscher; Reinhard German (MMB/DFT, 2012)