%PDF-1.5
%
1 0 obj
<>/OCGs[804 0 R]>>/Outlines 7 0 R/Pages 2 0 R/StructTreeRoot 38 0 R/Type/Catalog>>
endobj
3507 0 obj
<>/Hfootnote.2<>/Hfootnote.3<>/Hfootnote.4<>/Hfootnote.5<>/Hfootnote.6<>/Hfootnote.7<>/Hfootnote.8<>/cite.AkehurstB01<>/cite.Codd72<>/cite.MandelC99<>/cite.OCLE<>/cite.Opoka2006Mod<>/cite.QoIS2005medFlow<>/cite.SEQUAL2003Krogstie<>/cite.WK99<>/cite.emfhomepage<>/cite.ocl2<>/cite.reportOCLWSAtModels05<>/example.1<>/example.2<>/example.3<>/example.4<>/example.6<>/example.7<>/figure.1.1<>/figure.1.2<>/figure.1.3<>/figure.1.4<>/figure.1.5<>/figure.1.6<>/section.1.1<>/section.1.2<>/section.1.3<>/section.1.4<>/section.1.5<>/subsection.1.3.1<>/subsection.1.3.2<>/subsection.1.3.3<>/subsection.1.4.2<>/varlisting.1<>/varlisting.2<>/varlisting.3<>/varlisting.4<>/varlisting.5<>/varlisting.6<>/varlisting.7<>>>
endobj
5521 0 obj
<>stream
application/pdf
null
Information Security group, Infsec
Department of Computer Science
ETH Zurich, Switzerland
2014-12-08T14:52:10.881+01:00
Model-Driven Constraint Engineering
2006-10-10T15:26:42+02:00
2006-10-10T15:26:42+02:00
2006-10-10T15:26:42+02:00
Adobe Acrobat 6.0
2014-12-08T14:51:56.127+01:00
83a0c438705824d8576e1c62a0dd36f958a1d3ad
Adobe Acrobat 6.0
Adobe Acrobat 6.0
uuid:449dda82-5c88-454a-9f5a-489818a10b42
uuid:7b607883-f9d7-4e63-86c1-6c326bfb1d1a
endstream
endobj
3508 0 obj
<>
endobj
7 0 obj
<>
endobj
2 0 obj
<>
endobj
38 0 obj
<>
endobj
3652 0 obj
<>
endobj
6 0 obj
<>
endobj
40 0 obj
<>
endobj
3651 0 obj
<#20Char#20Char/Span/#20Char#20Char1/Span/#20Char#20Char2/Span/Abstract#20Text/P/Abstract#20Text#20Char/Span/Abstract#20Title#20Char/Span/Address/P/Author/P/Caption/P/Cita#20HTML/Span/Comment#20Reference/Span/DropCap/Figure/Email/P/Endnote/Note/Fett/Span/First#20Paragraph#20Char/Span/Footnote/Note/Footnote#20Reference/Span/Frame/Div/Heading#201/H1/Heading#202/H2/Hiperv#C3#ADnculo/Span/Hiperv#C3#ADnculo#20visitado/Span/Hyperlink/Span/InlineShape/Figure/Normal/P/Nur#20Text/P/N#C3#BAmero#20de#20p#C3#A1gina/Span/Outline/Span/Ref.#20de#20nota#20al#20pie/Span/Shape/Figure/Standard/P/Strikeout/Span/Subscript/Span/Superscript/Span/TOA/TOC/TOAI/TOCI/TOF/TOC/TOFI/TOCI/TextBox/Div/Title/P/Underline/Span/abstract/P/address/P/author/P/email/P/fnt112/Span/heading1/P/heading1#20Car/Span/heading2/P/p1a/P/referenceitem/P/title/P/#C3#9Cberschrift#201/H1/#C3#9Cberschrift#203/H3>>
endobj
5487 0 obj
<>
endobj
5489 0 obj
<>
endobj
5491 0 obj
<>
endobj
5493 0 obj
<>
endobj
5495 0 obj
<>
endobj
5497 0 obj
<>
endobj
5498 0 obj
<>
endobj
4419 0 obj
<>]/P 4417 0 R/S/Link>>
endobj
4409 0 obj
<>]/P 4407 0 R/S/Link>>
endobj
4425 0 obj
<>]/P 4423 0 R/S/Link>>
endobj
5358 0 obj
<>]/P 5356 0 R/S/Link>>
endobj
5372 0 obj
<>]/P 5370 0 R/S/Link>>
endobj
5364 0 obj
<>]/P 5362 0 R/S/Link>>
endobj
5362 0 obj
<>
endobj
5363 0 obj
<>
endobj
4652 0 obj
<>
endobj
718 0 obj
<>/ExtGState<>/Font<>/ProcSet[/PDF/Text]/XObject<>>>/Rotate 0/StructParents 208/Type/Page>>
endobj
737 0 obj
[742 0 R 740 0 R 738 0 R]
endobj
736 0 obj
<>stream
HWs۸3BvNArwQzN D$eo,|Lb7D(ݵ
JJ\HOuPHXEIN^P_"!Hsyufb1X
T*cY^y·-A'kMU~5/XMdg8x,
հ{m-{_Y|LzM剞=S
?:?ľ
V:᧞P'4/`'g|ANivس;^ytù
gRšEO
|6li`d)S,#¥1ёcwb#4~ F6L3ɰA_WOF}kQDU}\vӀM-F;Th+%biBfşQFQ,u?Y!];G1d
Ȉik!F0N8Cb1.-d`P{
E("⏿{:u͆J""r%J g˗({ 36Bl [5Yp5-?Ԍ梅`'<=-yPyb4A;,P "& $#^b1GeP~65M]n)^pƿS*2s0S$,]ߍxD!2Xt@ZKjiz"234(
pDgвJJ
5`dl.ŦBnuXƵi*m^pJjaj a&P2:~dX Pu$tf51MnwfԼe#6cSPX/ 1YУd6{̡p<&qM~OX*(-sXՁ{hS:l;vt1^j blK-G
qt#ƠGF~EtYm^gQZ!I#ӇlkZ
nKɠb'> p#F V\`l9m=0vѩ"?D-%4/CoFN2Z.CGX-1]{czL7?pbEEm铼2sp/CCvޒ"DFTiuO7|p>^xmc~VR[>imڦѢx6+ UפO"4豝&`o )a* (/6:4W[aBX n0d3
D}f=8
kݙN2Q<@/*F_ pӴ>!%c+ ~LYtfƊ扸qq4lb1TY\V<8!yzըDO{xZۄmH~$$8*?aq)Q\ֈk[fnOV:8^h
7^t(+1z*D p_azp().Fs=N^[.eC4mr3T>ۖL%x@sE
sc4CTf~/w|d8i|NQiKquk+9&K)[;28:'6HNdw$[/87KIohqZѿiM]L.@^,Ai8]\} (!&nĊa6_\_L@hi>6-CQv)!>g)z/O%TqA7Sj{ݫA-@ۊ5y:[`aS%gі͟$SMvs<`IJQ4 .[}3ރ[*9cd3W'<%"pU|_֫5a +hiϻTJ)zC&B}&1^6Òfg{Cԛ s:p UŇM|4sCyX@XbyfӡE1ür-a348a;=r"q=qL1FL
_"L{wb2[9xM
_aR$7yFbQ^.##oZ)]2@W!A&OpJX/]`w.]o'|)i.n{6؝h\fX,+` R,
endstream
endobj
816 0 obj
<>
endobj
719 0 obj
<>/Resources<>/ProcSet[/PDF/Text]>>/Subtype/Form>>stream
H$
`E<RoR[uTq\>/ҏ~ӛrO8C܄x@.swB0~F'^L~SMP2-
y4aSJN}]ko^1]~ + F
endstream
endobj
721 0 obj
<>
endobj
720 0 obj
<>
endobj
51 0 obj
<>
endobj
52 0 obj
<>stream
HypUOBVYBC2c ;#Tv$(
E*ȢIXa_#oRTS5U35=~H#@J#mly~FE'ϒ^]WbėUmfCE"S&{!QTGMxmpʠaq!~ɳɨ"0ju%XUMJ
t%DqJdrmr`xs+9nǭůKTԔQ\=9FD-#RJFN<|՟bh)iATFx%oMx7C|OO
"mC:z%@0$!1a)V``>f{>& 9ϸ븉xJSPe*CPUSA*^n=^K#^ϟy#|O9>?Uy֛E8O^c⑈1l,GVc<a7N'"۸7*TUUmT_5P
;Nnwx6wßf;x'0S| ].!x`<^2'X_ȯ-va/qi.nWB
;UM^P`569ùGrS~y*O癜gB^KyռW-||s_kB?b^@s@+m":3XIx10m|,{x!#|O^lp؆؉qq
g(\B~E!<ʨ UAJW,gTCH5VϪjZ~ʥR=K
Sx[2~7')s}|Cv|XDkA7db.AB|V/͔Z%|
Q*L*BEJ5Q~&!$ڙiT)66E]@zP0P8ER34ZS{U.{Etvfq B&JM}
IܺFԔcGoGxՎaA
57¶&Zi֛R+ԚRbKUBȯE٭ڲ2}L8t&Dow] zϷVt-W\7ҨFqG(^*2t&UԄiiv%wSʈ%ZcmC,i^%Gʬ\xb!ԐZMWդ$m6W[j^[ߣcr(ٲFg1g,0ˌVqU2J!z(xJCY6f0Qfc6SIrsGEGhqN,rVvVwvswsqu:8,t+`UY5VĊ4+ݚnͶYKkiY!!!-C^jQza#6Mwwkz3qǷ<^ѤlNV;=:)R:B'ht5FXj16YQXB!+l*N6̊fU:aB'|NY&tV
>R:O
%t:t@K)L+ZUJg9%tJą$h6pkZ0w3nn>x?:i>:ދ`vn=˿Yspm'[_/
+W*k4P
a>Ol]8[lOc>or+yy\];(wڼ//"wTgaK{I5ػرSՈQ"( FEņy5LܹsΜg{~(fRYkksk}k]kkMkuZZȊG;[뙽,Cbl4448[,%#EUw/nglt}e9O?eȲFG$L!ZCmBק6Yz3O[z?ǖ=>2[4Qf,
0|-v0On,Txa̅` [<4IA'$CX8pxHVA*/HpN4w'0~#n#axhXDaLu0&TJ\
5?p5z[@m0kdX91F[x7&܌[p+n ;d} ][T|"x0
_K|1]
o1+WĔ
1i2ȆrPNʅU(7RKȎS*H*"X
SQ'rbTJPI*Ei93a
*5,T*U"WKN秅
Z)*ZMCG@k(#zJ(zI纮^S:?-e)@EJs>ĺwTV*[TU9FOQkT?Thi|e26ZmF;ht2:]t3=F/ϹQTne~nOGc0țx3o᭼xPu'.-#r(Άqx|#Gr#1G9q>'93|q"|Q(}/|857&ۜw.#~̩3Nxo~ɯ5iւ
GsT;^uRTGUuSUYuB