undergraduate thesis
Specification of a CAN Gateway by Timed Automata

Sandro Njegovan (2011)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Computing and Technology