%PDF-1.4
%
1 0 obj <>stream
application/pdfIEEE2011 6th IEEE International Symposium on Industrial and Embedded Systems;2011; ; ;10.1109/SIES.2011.5953660Specification-centered robustnessRoderick BloemKrishnendu ChatterjeeKarin GreimelThomas A. HenzingerBarbara Jobstmann
2011 6th IEEE International Symposium on Industrial and Embedded Systems176 June 201110.1109/SIES.2011.5953660185
endstream
endobj
2 0 obj <>stream
application/pdf2011 6th IEEE International Symposium on Industrial and Embedded Systems;2011; ; ;10.1109/SIES.2011.5953660Specification-centered robustness
pdfTeX-1.40.10; modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
2011-05-27T04:55:07.000Z2018-11-26T00:28:59.000Z'Certified by IEEE PDFeXpress at 05/27/2011 1:56:13 AM'
endstream
endobj
3 0 obj </Version 1/Length 77042/Filter/FlateDecode>>stream
x;oٵ *>~Q\%wPG*Iu[[z7{oYVg5ךk).=Xcg?_??q/woKv7/O߽}o~~z_zH~
p!_Ǘ8?y߾8_o.'_/sh9=ntl.|9__~Fy/ዟ|?_O?>~zxۧ_wo߽֘_÷>?ce~ԏσ1go?~d?xO?ӛox>'_~/~ç߳ן?˷ߎ/7>>_s?r_(u_Q}WnSF_~aSb9'
gc6'ӗoNp?闟g_g?myVv<[}[v9rVW;&7|~g?yG4?|beƎcpӟ'ƅk7ۯ#>~ݯhݧ;{Kzuo?~?/o+V߾O/|Ex˝?Sg_߽t]w-4ct./|r^^>2el>/?3li/lY4O~/BKمixuN~nR1ׇ(_m;_.㻞O|dӏ?,v\l/Ο3ټ_d'6>նƿ[15|Z_9O;G?3>ldpwxYzi&B_5Mirƴb/zn%_yU_7}rU??įg!IRi?y%/S8%KuFox3$3;|~_yUNюhqnqykV7ok~LJ˅V嵥yI|nn^+_$<塟[yk7$\P!wEw0ſ_Wx _}ݏ>Wyjg?~/o0 ?G:])?MהE"65kRp#R)ZÎw1xC^h-%rk35^7$S~O?m@9N˟)^)OKW^\.VX_+:znUǹ t_'ckޝk
)ǗTkq5ZkO1G3e%gZOyfS=`ڿmlWF[&AjHKKE_y5.Ss%bߋI_͆_k)嗐~326ɿP!M^lO_{1mDMoxMMkA4Jra]kq4يRDrjZs/9Pbϯ-.hOvmGۦ`ڕ({ifTcb&5l__Sؘ}
;6һ}LEbaٶ8Y0kˑe[li:Ɨ5I7D;}:VoB&@>ٷ15;\lͭb_`ncxkoɖTB5ݶ,7bk7Ϲ/f::frzdݏj?(g~M6.]BB3Y~3PJ^UcofwǺ ;5t8{rm\ǨܛDPag6DIv;wB]6bz+[gaf?5dY/2SHKzrO"Dz^q;ce/W&V^ynƓ?va.㜍;}8v;wc~`чj¼J5.~|M4dˮ^ݞƴVÐ/B~&MV3?Pb=- b͖ы"̮Yc]V{L)42:o-v5Xe%^ijJ(ǚp~Ѝviʚ6=d3R՝9Hilv\V7N9/4kkrmmY+&=\OhǶQW7J>hnF{}FѴ$}s]hA0usMv5̌n4vUbu_L65m#{!],%83:֯cO2/WfOVa^m5v`G1ƝjW'64q7m~)";Q
IԞUIǃ;_hࢆQB|$0;DGcaٻ2v33lfۣdiT#\[ϑv'
sf6>hf)vf[QD\'x:em۱]Go@kJ-5C&xvL&hMO1{RP![ВcL{PoyR(|T.__ְGδ͙noM76^,xu͞f7~c7|eWT64Dcf.ҷX/S^ߩڬM;zR5䝪/%^2a)sS/b&m'j8袖MS[/o*
1sM`d:;ǹc:F&{]LYi6-5u
ѧ`{ͮc RmL ]NA Pk#gQ&nPغ[rȤl2C2'fp-ߨrhm~
gWSࠛr2fLQt'cf۹ 7t%+=N<8K;`ҷ38ƀ)
?`GzL0=Tm ەvywee)/&ʒY[ kmwo-oӹWovogtz6[al[\'|Ld
d)53hoB[.4wuҷΡu-)\t[Gu9JQt6;ڶvgϲP$Q:Ȋ⢮ѱɬ.{{4 0Kp@]iJ[7̈́12;k%2%Z+YKowFqlc` +u)O^@UCKafftjbJps\z_S&U/f.]c75Ql}{4
d6ҴfA9qߙEܔsNti}ܵxf.;nwj#n0~"hfۢ6btܦN*7<_V4#u5q)9mrc3qX#^m)^=ӴM!S(5>L&'tǺVc:tyT#8a2T+|}MUT>ĂXR^W=TwdNmn̞]IսЎdgyeőMgdY>倀64F&_VNڂDLu=
`q X(ߧ} E(-gaDy/],vON
l=sSt6]+a|H0FMAFz0Pӕ(.$Qȉ-kR%Tm@n.dY
Fޒ''Yncdm٨~,gQ2VqpotSܳvEɖiB\x͆W*m2:I#:KLR;qc#A%0ߚcG(+S0Shulhc(6Ҍ>F?}Z9Lhe4dZxu秉j}UຉKvXq/MOOtWh:=MA?،pkOb,@irqmNckp`%+
DTOm&
[mМDD7#n
%"0͑@8q,xr5SMH#^nks(fGES2
D<3m&aRvqFo0/,Klx؍~sCPca{W94a2fTm L6@ܮr8RDwFq1I7R(
SwL~G'"WJ"I@ L7ˌkӍ3aP_h+Β5v2}\ChP]"VU/8ʅ"fDEcMU܄$N^C=(&{9K1Ȑ,H_U>v,*@XL͝sXi1mhz5}HmK7tt^KD[lFz̨c2FbN CCZ`3ޛN"mcn;KSfigpOƥlE冚SH%&M[L9iQhǎt+teo1ׅrsK93EocSuDH$SDս 7ijr
57yXZmB%SŰ An+,a'\t_J- jiNX[d#:yT|vͯa42NC1 D{hF䂽w>\qҙ]՝g6X9;I=f\,p!$ Ɇ3$İ]{iÞdwNM^ȚypٕرDI6NKљ[D7>tkcnDAaRS43b:%f$WV^.FFNA&Fv@P?NHP'YIh'kO,f[J8akZ&K9lntU
(Np1`*F)!M-RN/sVYi#qN;IH79?3})UݿBS&{Nnd}~MֈXG,I䫉\ot9o)@VA9 5o,E~ὑZ҃T_r{$Xie}#ׅLXEw8e7p)Q+;]9qkpҵ9D |*/_)r]rzJMNp%\}:*o8*!֥oe)"c#8^M
rxRjƸWFN߂0(P
\},y+&"HN{ջ5{JONdCGI
-pw/#TUwcf!kdkS}6NM }:nCW8|ZL7Z:EX)A5ۙ#{YN"J_n$%!-İc]p-# Ѵ51O[t1ޒ7$M/-R..~-ً_´
"ܰ|3{&}U"{G Jk@VYL9al5kdruwf:W:M2K:`;&aXdD- y%kk,~q~Da=NR|@5jd 5$gqUl>AK`yo"6nt32OfT}$"0dM
o-N`m^r4)F]M/JA)Fɬ).ݨ=@Cs",{"]yɊapΒHwH{=T`E͑1ahxhJ>GK;JD298\dVf_5~.ӯsP9TLd=c:/Z۬HYG@ivYdM?,1&ٙk>Ejۖ-zM~̩^
Aon#qWxe6sک^S&rAT=+il߾f@
#;"P" -@cVkdFV';MZv=^._I+$$;R$/S|}gKjRD R&v3k!~${SSWanjR!vA