%PDF-1.6
%
1 0 obj
<>
endobj
180 0 obj
<>stream
2019-03-07T13:58:25+08:00
XeTeX output 2019.03.07:1358
2019-03-19T14:35:33+08:00
2019-03-19T14:35:33+08:00
MiKTeX-xdvipdfmx (0.7.7 svn texlive 15080)
application/pdf
A methodology for assuring the safety and security of critical infrastructure based on STPA and event-B
uuid:391d8ab9-1424-4339-8a7c-45d8e9a18734
uuid:1ee3a845-f7ca-4458-9d21-e359a4268e7c
endstream
endobj
96 0 obj
<>
endobj
97 0 obj
<>
endobj
99 0 obj
<>
endobj
101 0 obj
<>
endobj
103 0 obj
<>
endobj
74 0 obj
<>/Font<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
83 0 obj
<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
86 0 obj
<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
104 0 obj
<>
endobj
89 0 obj
<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
93 0 obj
<>/ProcSet[/PDF/Text]>>/Type/Page>>
endobj
303 0 obj
<>stream
HWɎ$
WaPH Üc2>7Q5FER|5I6şKlas01~oLO{aM*QބՌ{}/Bd?;TRO_lYrȧsm'ʟ@'e9)Ằ{NR˾yl&lٖheYjJ}هz:|@]e%.OfqWݛәWA-yi~̣9e7U^źD|
)]u S\2.c{[}Be5RpNzҜCdکk־ߨ}NK$ouc,x\OV5Ij{ K%_p\̪K_ݯo%߭oLƅ[HEdհGU<}ICؿ>(JF®.Neޙ0@:B= +7,ޞfI[`Gf{3/ۙL;2sOD= $i|չ.nW@cP֑z>4Vy
ɂOZagpZ_(>:~
wM-7MµJzz@7V`{FG
Az@3yёkH4Tm;߿᪐b>nQFd>ڭO!5pMQ"&//FiRV*)0K0#uEO]TvG_nLkzf
.Nzҵw2.Aԍ
@|{d,('>,HUWT=h˾^j۬GA!3!`[EqSr l;*29P~,EC5TAق~E+?>V8} r]#+h|{}e=.gAQu/GKeeE{
~o;*ؑ{v{l1S⦄fޙDI%ں>(B%Z6r2`nΰXY/nf$