%PDF-1.5
%
1 0 obj
<>stream
application/pdfECSI2016 Forum on Specification and Design Languages (FDL);2016; ; ;10.1109/FDL.2016.7880382Designing reliable cyber-physical systems overview associated to the special session at FDL'16Gadi AleksandrowiczEli ArbelRoderick BloemTimon Ter BraakSergei DevadzeGoerschwin FeyMaksim JenihhinArtur JutmanHans G. KerkhoffRobert KonighoferJan MalburgShiri MoranJaan RaikGerard RauwerdaHeinz RienerFranz RockKonstantin ShibinKim SunesenJinbo WanYong Zhao
2016 Forum on Specification and Design Languages (FDL)1 Sept. 201610.1109/FDL.2016.78803828
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>
endobj
4 0 obj
[510.4 548.6 472.2 548.6 472.2 324.7 531.3 548.6 253.5 283 519.1 253.5 843.8 548.6 531.3 548.6 548.6 362.9 407.3 383.7]
endobj
5 0 obj
<>stream
xڍTk6
H
HHtw7003Ct#"HK
R" %!"ćzZ߷yZƤk'瀰(#h>A~I@A / fE ٌ!HA m`5O=a0 (&)(.) H@J`/#> urF_/OӞȹAP{0!n+ڃa
A+3. y{{P/
E;q ~5h :g?v# G]Gx Hzq@Mq5xo%n`/8Ba@GYp_D0{05w`@YN _7W{({$GAaZJsJpFO_o/ɺp# Ow QSrmA wJom 8^7 :B_(@#=!t
P{4`q~m8ׇ ~=|A
fzZ<:O^|B .&;.WǪğj?{% οw.mĵj! "? vs`7(/µh=RM V t_|=rp'R@th{?jc75e0(@A]+ G@]Kr=9^R np5bBb _5g[ @_ $@_?H ^@ oxj@_{"[`. =iTK]xi7[ܥ$(Q4g͛*UTOr9
ZP[?+<ap@8ψ^#O֣'H5>ު|zс2ώIirnĚ1,IȐjF.nBN|,re-ztO)8"9W./z<)L,vJߜ13/ l`c*LYyu(ϧLҿs4ڔUMZs1K
]{9r۹-Cc%j5"HܵD{efנ$aLA9^\5#v