Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. - Haur, Imane; Béchennec, Jean-Luc; Roux, Olivier H. (Cybernetics & Systems, 2025)