Kartal, Yusuf Bora; Schmidt, Ece Güran; Schmidt, Klaus Werner
(Assoc Computing Machinery, 2016-11)
The mission- and life-critical properties of distributed real-time systems require concurrent modeling, analysis, and formal verification in the design stage. The timed input/output automata (TIOA) framework and the UPPAAL ...