Nikola Ivkovic, Dario Kresic, Kai-Steffen Jens Hielscher, Reinhard German. Verifying Worst Case Delays in Controller Area Network. In Jens B. Schmitt, editor, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Volume 7201 of Lecture Notes in Computer Science, pages 91-105, Springer, 2012. [doi]
Abstract is missing.