%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author ()
/CreationDate (D:20161115115124+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20161115131556+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.16 \(TeX Live 2015/MacPorts 2015_9\) kpathsea version 6.2.1)
/Producer (pdfTeX-1.40.16)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4083
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2016-11-15T11:51:24+01:00
LaTeX with hyperref package
2016-11-15T13:15:56+01:00
2016-11-15T13:15:56+01:00
pdfTeX-1.40.16
False
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/MacPorts 2015_9) kpathsea version 6.2.1
uuid:90563ef8-e7be-4f90-a889-b9152ac8b2eb
uuid:31342b7c-492a-4710-87e6-f7fceb7a741c
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 1
/First 10 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 22
/Kids [11 0 R 12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R]
/Limits [(Doc-Start) (theorem.1.4.1)]
>>
endobj
9 0 obj
<<
/Annots [18 0 R 19 0 R]
/Contents 20 0 R
/CropBox [0 0 595.276 841.89]
/MediaBox [0 0 595.276 841.89]
/Parent 11 0 R
/Resources 21 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 22 0 R
/Parent 5 0 R
/Title (Formal Modelling and Analysisof Socio-technical Systems)
>>
endobj
11 0 obj
<<
/Count 7
/Kids [23 0 R 9 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
12 0 obj
<<
/Count 6
/Kids [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 3
/Kids [41 0 R 42 0 R 43 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R]
/Limits [(Doc-Start) (figure.1.2)]
>>
endobj
16 0 obj
<<
/Kids [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
/Limits [(figure.1.3) (section.1.6)]
>>
endobj
17 0 obj
<<
/Kids [56 0 R 57 0 R]
/Limits [(section.1.7) (theorem.1.4.1)]
>>
endobj
18 0 obj
<<
/A <<
/D (cite.NielsonNielsonHankin:1999:ProgramAnalysis)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [252.395 353.812 259.368 365.765]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/D (cite.BBC:2014:SteelMill)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [385.001 186.44 391.973 198.393]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/Length 2307
/Filter /FlateDecode
>>
stream
xڍXKs6ϯБ|f1l*ةsIXD" 8HED7@'x;߿}sRLY!wwE2E\绻v%e4ړ(_F&Q$:2[
->!Sθ|4=GŽ1fvin_'4wY"e^i&TqިVioǎ&uVGU$)v(pdLdxUwrt>-v]#+\ozO! _d˓SJ]b%*e"b`d,X"]:.x Bf}UD`=Y]|CWl{N>%Ģö~l$ڧMkQ"XxwŴm~amXzֲ-67
?v)r@sݣx`xX=i4S"T#MT\*_
RW] v'>gB&ag jxtuy\/A]W$Onjp.94kj0Ny3aʙؿ2GxR8Z8@I)(>Zwhy_k$wppArn$S4G3hmA):H|47k`ʝiKxCU^hFP:0|E!A@'HyQ`0iZ=>N