Synchronous approach to the functional equivalence of embedded system implementations | IEEE Journals & Magazine | IEEE Xplore