Efficient Modeling of Preemption in a Virtual Prototype.

Published in: IEEE International Workshop on Rapid System Prototyping (2000)