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)