Efficient monitoring of loose-ordering properties for SystemC/TLM | IEEE Conference Publication | IEEE Xplore