A Real-Time Monitor for a Distributed Real-Time Operating System | Synapse