@techreport{KresicHielscherGerman2011, author = {Dario Kresic and Kai-Steffen Hielscher and Reinhard German}, title = {Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL}, institution = {Technische Fakult{\"a}t -ohne weitere Spezifikation-}, series = {Technical reports / Department Informatik}, number = {CS-2010-05}, year = {2011}, }