Instruction-driven timing CPU model for efficient embedded software development using OVP | IEEE Conference Publication | IEEE Xplore