%PDF-1.5
%
1 0 obj
<>stream
application/pdfIEEEIEEE Transactions on Services Computing; ;PP;99;10.1109/TSC.2021.3074956Edge-based Runtime Verification for the Internet of Things
IEEE Transactions on Services Computing199PP10.1109/TSC.2021.30749561
endstream
endobj
2 0 obj
<>/Type/Catalog/Metadata 1 0 R >>
endobj
3 0 obj
<>
endobj
4 0 obj
<>stream
xS(T e
endstream
endobj
5 0 obj
<>stream
xST %
endstream
endobj
9 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 23 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
10 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 34 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
11 0 obj
<>/Shading<>/ExtGState<>/ProcSet[/PDF/Text/ImageC]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 37 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
12 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 51 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
13 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 69 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
14 0 obj
<>/ExtGState<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 80 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
15 0 obj
<>/ExtGState<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 90 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
16 0 obj
<>/Shading<>/ExtGState<>/ProcSet[/PDF/Text/ImageB/ImageC]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 98 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
17 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 118 0 R /Type/Page/Parent 7 0 R /Group<>>>
endobj
18 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 123 0 R /Type/Page/Parent 8 0 R /Group<>>>
endobj
19 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 126 0 R /Type/Page/Parent 8 0 R /Group<>>>
endobj
20 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 129 0 R /Type/Page/Parent 8 0 R /Group<>>>
endobj
21 0 obj
<>/ProcSet[/PDF/Text]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 132 0 R /Type/Page/Parent 8 0 R /Group<>>>
endobj
22 0 obj
<>/ExtGState<>/ProcSet[/PDF/Text/ImageB/ImageC]/Font<>>>/MediaBox[ 0 0 595.276 841.89]/QInserted true/Contents 135 0 R /Type/Page/Parent 8 0 R /Group<>>>
endobj
23 0 obj
<>stream
HW]o}7EV߲"doIqAKͮ,Rș3g/'Ŧo9yL.>r=~EIdYN˭K~%;^.yKn9♓fk\IيU/ESɏ<شd^7펩5lw?\^[a6vsGv%lx9[6F=gOI^i2XZ)
aYq^V|/
u/վzN5;[ӷ5.xi[Uu HԒג[Vo8ٷ
YgB.?R?\.iyzЋiB湇.Xv3`ة!0An&>tPE,z}/ɲ #izQFd~]{[8rbG^E4ָ^iJGyf)7|b@T<ᡯq|yiLB<'קИ`Q
DdN=$Il|Mȭ=FKl-DC<7,aJ4S֚ɦ{ubf.p3k^U}=o;V,[ ]q%/!8/[\ñ}'K:C
3}Nb/psx!^:Ob8}
Tox"'-BY 3tT;d[EwvPe_M̮d4mO3k(ChH 5HHfpɝlD
0
Q`ua}ka{&ozRڂa*|տo%NythLO