undergraduate thesis
Modelling the CAN Bus Access by Timed Automata with Priorities

Alen Pek (2012)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Computing and Technology