%PDF-1.5
%
1 0 obj
<>stream
application/pdfIEEEIEEE Transactions on Aerospace and Electronic Systems; ;PP;99;10.1109/TAES.2019.2915406ReconfigurationAvionic SystemsDistributed Real Time Embedded SystemsSchedulability AnalysisModel CheckingTiming Assurance of Avionic Reconfiguration Schemes using Formal AnalysisA. A. Da FontouraF. A. M. Do NascimentoS. Nadjm-TehraniE. P. De Freitas
IEEE Transactions on Aerospace and Electronic Systems199PP10.1109/TAES.2019.29154061
endstream
endobj
2 0 obj
<>/Metadata 1 0 R/Pages 6 0 R>>
endobj
3 0 obj
<>
endobj
4 0 obj
<>stream
xS(T e
endstream
endobj
5 0 obj
<>stream
xST %
endstream
endobj
6 0 obj
<>
endobj
7 0 obj
<>
endobj
8 0 obj
<>
endobj
9 0 obj
<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
10 0 obj
<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
11 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
12 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
13 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
14 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
15 0 obj
<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
16 0 obj
<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
17 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
18 0 obj
<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
19 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[0 0 595.276 841.89]/QInserted true>>
endobj
20 0 obj
<>stream
HWK6O÷=ݵǕ(h =V~v7 4J7l4~}aws|~V&LXfaQMeÃ~;ްQ &;Z-ۏ
4Yq- RA?rJ}ZݽRݤ
W)ͻκG
Nvݯu۰c?Oe-כ܆"Y(dQ_®eՀi\U%N.]` 0ΎF(Xdt