An improved timed automata model for computing exact worst-case delays of AFDX periodic flows | IEEE Conference Publication | IEEE Xplore