Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.”https://doi.org/10.1109/SIES.2010.5551379__In Proceedings of SIES 2010.https://doi.org/10.1109/SIES.2010.5551379__Trento, Italy: IEEE, 2010.https://doi.org/10.1109/SIES.2010.5551379 .