Laurence Pierre Luca Ferro A Tractable and Fast Method for Monitoring SystemC TLM Specifications. 1346-1356 2008 57 IEEE Trans. Computers 10 http://dx.doi.org/10.1109/TC.2008.74 db/journals/tc/tc57.html#PierreF08