Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL - Krešić, Dario; Hielscher, Kai-Steffen Jens; German, Reinhard 1964- (Technical reports, 2011)