Text this: On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks