Verification of AUTOSAR Software by SystemC-Based Virtual Prototyping

by Matthias Krause, Oliver Bringmann, and Wolfgang Rosenstiel
In Hardware-Dependent Software, pages 261–293. Springer, Dordrecht, 2009.