Laurence Pierre, Luca Ferro. Dynamic Verification of SystemC Transactional Models. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
Abstract is missing.