US8527741B2 - System for Selectively Synchronizing High-Assurance Software Tasks on Multiple Processors at a Software Routine Level