Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz. Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. In 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary. pages 188-195, IEEE Computer Society, 2004. [doi]
Abstract is missing.