Ferreira JF, Huang Y, He G, Qin S, He J.? 2013.??Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts. 15th International Conference on Formal Engineering Methods - ICFEM.