Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software