Defo, G. B., Müller, W., &; Kuznik, C. (2010). Verification of a CAN Bus Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International Symposium on Industrial Embedded System (SIES),https://doi.org/10.1109/SIES.2010.5551379__Trento, Italy.https://doi.org/10.1109/SIES.2010.5551379