Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. - Esteban Asensio; Ismael Lafoz; Andrew Coombes; Julian Navas (Ada-Europe, 2013)