Synchronization Analysis Execution Protocol | Synchronization Analysis | Mathematics | NEROS