Felipe Rosa, Luciano Ost, Ricardo Reis, Gilles Sassatelli. Instruction-driven timing CPU model for efficient embedded software development using OVP. In 20th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013, Abu Dhabi, December 8-11, 2013. pages 855-858, IEEE, 2013. [doi]
Abstract is missing.