Deterministic Replay for Multi-Core VxWorks Applications | IEEE Conference Publication | IEEE Xplore