Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz. Temporal validation of Real Time multitasking applications based on communicating timed automata. In Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings. pages 578-586, ECSI, 2004. [doi]
Abstract is missing.