Model for worst case delay analysis of an AFDX network using timed automata. - Muhammad Adnan 007; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (ETFA, 2010)

An improved timed automata model for computing exact worst-case delays of AFDX periodic flows. - Muhammad Adnan 007; Jérôme Scharbarg; Jean-Luc Ermont; Christian Fraboul (ETFA, 2011)

Minimizing the search space for computing exact worst-case delays of AFDX periodic flows. - Muhammad Adnan 007; Jean-Luc Scharbarg; Christian Fraboul (SIES, 2011)

An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows. - Muhammad Adnan 007; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (ETFA, 2012)