Deterministic event-based control of Virtual Platforms for MPSoC software debugging | IEEE Conference Publication | IEEE Xplore