Text this: Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches.