@inproceedingsDefo_Müller_Kuznik_2010, place= Trento, Italy, title=Verification of a CAN Bus Model in SystemC with Functional Coverage, DOI=10.1109/SIES.2010.5551379, booktitle=Proceedings of SIES 2010, publisher=IEEE, author=Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph, year=2010