Modeling and simulation of system-of-systems timing constraints with UML-RT and OMNeT++ | Synapse