EP2963550B1 - Systems and Methods for Synchronizing Microprocessors While Ensuring Cross-Processor State and Data Integrity