@article{HMM9,
title = {Full Simulation Coverage for SystemC Transaction-Level Models of Systems-on-a-Chip },
author = {Helmstetter, Claude and Maraninchi, Florence and Maillet-Contoz, Laurent},
month = {oct},
year = {2009},
journal = {Formal Methods in System Design},
number = {2},
pages = {152-189},
publisher = {Springer Netherlands},
volume = {35},
team = {SYNC, axe_SharedResources},
}
