A formal method for providing temporal equivalence in binary-to-binary translation of real-time applications | IEEE Conference Publication | IEEE Xplore