Accurately timed transaction level models for virtual prototyping at high abstraction level | IEEE Conference Publication | IEEE Xplore