diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src
index 2b21a39070bcbe168dfc79673113a530049f595d..1a5aafcafa7abcf094ea1b3c9d8808777263ed3e 100755
--- a/executablecode/Makefile.src
+++ b/executablecode/Makefile.src
@@ -1 +1 @@
-SRCS = generated_src/main.c generated_src/System.c generated_src/Bob.c generated_src/Alice.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/WirelessInterface.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c generated_src/RemoteControl.c 
\ No newline at end of file
diff --git a/modeling/banquecourtois/model2.xml b/modeling/banquecourtois/model2.xml
new file mode 100644
index 0000000000000000000000000000000000000000..f321b756182613652c933a303f75867f062fb9ef
--- /dev/null
+++ b/modeling/banquecourtois/model2.xml
@@ -0,0 +1,793 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+
+<TURTLEGMODELING version="0.98-beta4">
+
+<Modeling type="Avatar Analysis" nameTab="Analysis" >
+<SequenceDiagramPanel name="MyScenario0" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="301" id="249" >
+<cdparam x="668" y="566" />
+<sizeparam width="286" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="UML Note" value="We create an overall statement based
+on the one of Banque Courtois and on the
+one provided by the other bank
+This &quot;creation&quot; is a a dynamic webpage
+" />
+<TGConnectingPoint num="0" id="233" />
+<TGConnectingPoint num="1" id="234" />
+<TGConnectingPoint num="2" id="235" />
+<TGConnectingPoint num="3" id="236" />
+<TGConnectingPoint num="4" id="237" />
+<TGConnectingPoint num="5" id="238" />
+<TGConnectingPoint num="6" id="239" />
+<TGConnectingPoint num="7" id="240" />
+<TGConnectingPoint num="8" id="241" />
+<TGConnectingPoint num="9" id="242" />
+<TGConnectingPoint num="10" id="243" />
+<TGConnectingPoint num="11" id="244" />
+<TGConnectingPoint num="12" id="245" />
+<TGConnectingPoint num="13" id="246" />
+<TGConnectingPoint num="14" id="247" />
+<TGConnectingPoint num="15" id="248" />
+<extraparam>
+<Line value="We create an overall statement based" />
+<Line value="on the one of Banque Courtois and on the" />
+<Line value="one provided by the other bank" />
+<Line value="This &quot;creation&quot; is a a dynamic webpage" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="301" id="266" >
+<cdparam x="904" y="315" />
+<sizeparam width="209" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="UML Note" value="Creation of a token specific to
+the Banque Courtois
+" />
+<TGConnectingPoint num="0" id="250" />
+<TGConnectingPoint num="1" id="251" />
+<TGConnectingPoint num="2" id="252" />
+<TGConnectingPoint num="3" id="253" />
+<TGConnectingPoint num="4" id="254" />
+<TGConnectingPoint num="5" id="255" />
+<TGConnectingPoint num="6" id="256" />
+<TGConnectingPoint num="7" id="257" />
+<TGConnectingPoint num="8" id="258" />
+<TGConnectingPoint num="9" id="259" />
+<TGConnectingPoint num="10" id="260" />
+<TGConnectingPoint num="11" id="261" />
+<TGConnectingPoint num="12" id="262" />
+<TGConnectingPoint num="13" id="263" />
+<TGConnectingPoint num="14" id="264" />
+<TGConnectingPoint num="15" id="265" />
+<extraparam>
+<Line value="Creation of a token specific to" />
+<Line value="the Banque Courtois" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="606" id="325" >
+<cdparam x="802" y="150" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="OtherBank" value="Instance name" />
+<TGConnectingPoint num="0" id="276" />
+<TGConnectingPoint num="1" id="277" />
+<TGConnectingPoint num="2" id="278" />
+<TGConnectingPoint num="3" id="279" />
+<TGConnectingPoint num="4" id="280" />
+<TGConnectingPoint num="5" id="281" />
+<TGConnectingPoint num="6" id="282" />
+<TGConnectingPoint num="7" id="283" />
+<TGConnectingPoint num="8" id="284" />
+<TGConnectingPoint num="9" id="285" />
+<TGConnectingPoint num="10" id="286" />
+<TGConnectingPoint num="11" id="287" />
+<TGConnectingPoint num="12" id="288" />
+<TGConnectingPoint num="13" id="289" />
+<TGConnectingPoint num="14" id="290" />
+<TGConnectingPoint num="15" id="291" />
+<TGConnectingPoint num="16" id="292" />
+<TGConnectingPoint num="17" id="293" />
+<TGConnectingPoint num="18" id="294" />
+<TGConnectingPoint num="19" id="295" />
+<TGConnectingPoint num="20" id="296" />
+<TGConnectingPoint num="21" id="297" />
+<TGConnectingPoint num="22" id="298" />
+<TGConnectingPoint num="23" id="299" />
+<TGConnectingPoint num="24" id="300" />
+<TGConnectingPoint num="25" id="301" />
+<TGConnectingPoint num="26" id="302" />
+<TGConnectingPoint num="27" id="303" />
+<TGConnectingPoint num="28" id="304" />
+<TGConnectingPoint num="29" id="305" />
+<TGConnectingPoint num="30" id="306" />
+<TGConnectingPoint num="31" id="307" />
+<TGConnectingPoint num="32" id="308" />
+<TGConnectingPoint num="33" id="309" />
+<TGConnectingPoint num="34" id="310" />
+<TGConnectingPoint num="35" id="311" />
+<TGConnectingPoint num="36" id="312" />
+<TGConnectingPoint num="37" id="313" />
+<TGConnectingPoint num="38" id="314" />
+<TGConnectingPoint num="39" id="315" />
+<TGConnectingPoint num="40" id="316" />
+<TGConnectingPoint num="41" id="317" />
+<TGConnectingPoint num="42" id="318" />
+<TGConnectingPoint num="43" id="319" />
+<TGConnectingPoint num="44" id="320" />
+<TGConnectingPoint num="45" id="321" />
+<TGConnectingPoint num="46" id="322" />
+<TGConnectingPoint num="47" id="323" />
+<TGConnectingPoint num="48" id="324" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="602" id="275" >
+<father id="325" num="0" />
+<cdparam x="807" y="319" />
+<sizeparam width="141" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
+<infoparam name="action state" value="m = {Id_BC}_BCpubK" />
+<TGConnectingPoint num="0" id="267" />
+<TGConnectingPoint num="1" id="268" />
+<TGConnectingPoint num="2" id="269" />
+<TGConnectingPoint num="3" id="270" />
+<TGConnectingPoint num="4" id="271" />
+<TGConnectingPoint num="5" id="272" />
+<TGConnectingPoint num="6" id="273" />
+<TGConnectingPoint num="7" id="274" />
+</SUBCOMPONENT>
+
+<COMPONENT type="606" id="384" >
+<cdparam x="471" y="150" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="BanqueCourtoisSystem" value="Instance name" />
+<TGConnectingPoint num="0" id="335" />
+<TGConnectingPoint num="1" id="336" />
+<TGConnectingPoint num="2" id="337" />
+<TGConnectingPoint num="3" id="338" />
+<TGConnectingPoint num="4" id="339" />
+<TGConnectingPoint num="5" id="340" />
+<TGConnectingPoint num="6" id="341" />
+<TGConnectingPoint num="7" id="342" />
+<TGConnectingPoint num="8" id="343" />
+<TGConnectingPoint num="9" id="344" />
+<TGConnectingPoint num="10" id="345" />
+<TGConnectingPoint num="11" id="346" />
+<TGConnectingPoint num="12" id="347" />
+<TGConnectingPoint num="13" id="348" />
+<TGConnectingPoint num="14" id="349" />
+<TGConnectingPoint num="15" id="350" />
+<TGConnectingPoint num="16" id="351" />
+<TGConnectingPoint num="17" id="352" />
+<TGConnectingPoint num="18" id="353" />
+<TGConnectingPoint num="19" id="354" />
+<TGConnectingPoint num="20" id="355" />
+<TGConnectingPoint num="21" id="356" />
+<TGConnectingPoint num="22" id="357" />
+<TGConnectingPoint num="23" id="358" />
+<TGConnectingPoint num="24" id="359" />
+<TGConnectingPoint num="25" id="360" />
+<TGConnectingPoint num="26" id="361" />
+<TGConnectingPoint num="27" id="362" />
+<TGConnectingPoint num="28" id="363" />
+<TGConnectingPoint num="29" id="364" />
+<TGConnectingPoint num="30" id="365" />
+<TGConnectingPoint num="31" id="366" />
+<TGConnectingPoint num="32" id="367" />
+<TGConnectingPoint num="33" id="368" />
+<TGConnectingPoint num="34" id="369" />
+<TGConnectingPoint num="35" id="370" />
+<TGConnectingPoint num="36" id="371" />
+<TGConnectingPoint num="37" id="372" />
+<TGConnectingPoint num="38" id="373" />
+<TGConnectingPoint num="39" id="374" />
+<TGConnectingPoint num="40" id="375" />
+<TGConnectingPoint num="41" id="376" />
+<TGConnectingPoint num="42" id="377" />
+<TGConnectingPoint num="43" id="378" />
+<TGConnectingPoint num="44" id="379" />
+<TGConnectingPoint num="45" id="380" />
+<TGConnectingPoint num="46" id="381" />
+<TGConnectingPoint num="47" id="382" />
+<TGConnectingPoint num="48" id="383" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="602" id="334" >
+<father id="384" num="0" />
+<cdparam x="476" y="555" />
+<sizeparam width="245" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
+<infoparam name="action state" value="m1 = s1 + statementBanqueCourtois" />
+<TGConnectingPoint num="0" id="326" />
+<TGConnectingPoint num="1" id="327" />
+<TGConnectingPoint num="2" id="328" />
+<TGConnectingPoint num="3" id="329" />
+<TGConnectingPoint num="4" id="330" />
+<TGConnectingPoint num="5" id="331" />
+<TGConnectingPoint num="6" id="332" />
+<TGConnectingPoint num="7" id="333" />
+</SUBCOMPONENT>
+
+<COMPONENT type="606" id="434" >
+<cdparam x="144" y="150" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="browserClient1" value="Instance name" />
+<TGConnectingPoint num="0" id="385" />
+<TGConnectingPoint num="1" id="386" />
+<TGConnectingPoint num="2" id="387" />
+<TGConnectingPoint num="3" id="388" />
+<TGConnectingPoint num="4" id="389" />
+<TGConnectingPoint num="5" id="390" />
+<TGConnectingPoint num="6" id="391" />
+<TGConnectingPoint num="7" id="392" />
+<TGConnectingPoint num="8" id="393" />
+<TGConnectingPoint num="9" id="394" />
+<TGConnectingPoint num="10" id="395" />
+<TGConnectingPoint num="11" id="396" />
+<TGConnectingPoint num="12" id="397" />
+<TGConnectingPoint num="13" id="398" />
+<TGConnectingPoint num="14" id="399" />
+<TGConnectingPoint num="15" id="400" />
+<TGConnectingPoint num="16" id="401" />
+<TGConnectingPoint num="17" id="402" />
+<TGConnectingPoint num="18" id="403" />
+<TGConnectingPoint num="19" id="404" />
+<TGConnectingPoint num="20" id="405" />
+<TGConnectingPoint num="21" id="406" />
+<TGConnectingPoint num="22" id="407" />
+<TGConnectingPoint num="23" id="408" />
+<TGConnectingPoint num="24" id="409" />
+<TGConnectingPoint num="25" id="410" />
+<TGConnectingPoint num="26" id="411" />
+<TGConnectingPoint num="27" id="412" />
+<TGConnectingPoint num="28" id="413" />
+<TGConnectingPoint num="29" id="414" />
+<TGConnectingPoint num="30" id="415" />
+<TGConnectingPoint num="31" id="416" />
+<TGConnectingPoint num="32" id="417" />
+<TGConnectingPoint num="33" id="418" />
+<TGConnectingPoint num="34" id="419" />
+<TGConnectingPoint num="35" id="420" />
+<TGConnectingPoint num="36" id="421" />
+<TGConnectingPoint num="37" id="422" />
+<TGConnectingPoint num="38" id="423" />
+<TGConnectingPoint num="39" id="424" />
+<TGConnectingPoint num="40" id="425" />
+<TGConnectingPoint num="41" id="426" />
+<TGConnectingPoint num="42" id="427" />
+<TGConnectingPoint num="43" id="428" />
+<TGConnectingPoint num="44" id="429" />
+<TGConnectingPoint num="45" id="430" />
+<TGConnectingPoint num="46" id="431" />
+<TGConnectingPoint num="47" id="432" />
+<TGConnectingPoint num="48" id="433" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="107" id="435" >
+<cdparam x="476" y="590" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="m1" />
+<P1  x="476" y="590" id="378" />
+<P2  x="149" y="590" id="428" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="436" >
+<cdparam x="807" y="530" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="s1 = statement(client1)" />
+<P1  x="807" y="530" id="313" />
+<P2  x="476" y="530" id="372" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="437" >
+<cdparam x="476" y="500" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="askStatement(Id_BC)" />
+<P1  x="476" y="500" id="369" />
+<P2  x="807" y="500" id="310" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="438" >
+<cdparam x="476" y="470" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HTTPSConnectionEstablishement" />
+<P1  x="476" y="470" id="366" />
+<P2  x="807" y="470" id="307" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="439" >
+<cdparam x="149" y="440" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="askAllStatements" />
+<P1  x="149" y="440" id="413" />
+<P2  x="476" y="440" id="363" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="440" >
+<cdparam x="149" y="400" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="addStatement(m)" />
+<P1  x="149" y="400" id="409" />
+<P2  x="476" y="400" id="359" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="441" >
+<cdparam x="807" y="360" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="m" />
+<P1  x="807" y="360" id="296" />
+<P2  x="149" y="360" id="405" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="442" >
+<cdparam x="476" y="210" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="pubK_BC" />
+<P1  x="476" y="210" id="340" />
+<P2  x="149" y="210" id="390" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="443" >
+<cdparam x="149" y="190" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="getPublicKey" />
+<P1  x="149" y="190" id="388" />
+<P2  x="476" y="190" id="338" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="444" >
+<cdparam x="149" y="170" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HttpsConnection" />
+<P1  x="149" y="170" id="386" />
+<P2  x="476" y="170" id="336" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="445" >
+<cdparam x="149" y="250" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="createAuthToken(banque-courtois_pubK)" />
+<P1  x="149" y="290" id="398" />
+<P2  x="807" y="290" id="289" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="446" >
+<cdparam x="149" y="220" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HTTPSConnectionEstablishement" />
+<P1  x="149" y="260" id="395" />
+<P2  x="807" y="260" id="286" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+
+</SequenceDiagramPanel>
+
+<SequenceDiagramPanel name="MyScenario1" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="301" id="17" >
+<cdparam x="186" y="591" />
+<sizeparam width="335" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="UML Note" value="The statement of the other bank is unciphered
+locally, and the webpage is created locally only
+(e.g., with javascript).
+Banque courtois has no access to this statement.
+" />
+<TGConnectingPoint num="0" id="1" />
+<TGConnectingPoint num="1" id="2" />
+<TGConnectingPoint num="2" id="3" />
+<TGConnectingPoint num="3" id="4" />
+<TGConnectingPoint num="4" id="5" />
+<TGConnectingPoint num="5" id="6" />
+<TGConnectingPoint num="6" id="7" />
+<TGConnectingPoint num="7" id="8" />
+<TGConnectingPoint num="8" id="9" />
+<TGConnectingPoint num="9" id="10" />
+<TGConnectingPoint num="10" id="11" />
+<TGConnectingPoint num="11" id="12" />
+<TGConnectingPoint num="12" id="13" />
+<TGConnectingPoint num="13" id="14" />
+<TGConnectingPoint num="14" id="15" />
+<TGConnectingPoint num="15" id="16" />
+<extraparam>
+<Line value="The statement of the other bank is unciphered" />
+<Line value="locally, and the webpage is created locally only" />
+<Line value="(e.g., with javascript)." />
+<Line value="Banque courtois has no access to this statement." />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="301" id="34" >
+<cdparam x="889" y="478" />
+<sizeparam width="214" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="UML Note" value="The statement is ciphered with
+the public key of the client
+" />
+<TGConnectingPoint num="0" id="18" />
+<TGConnectingPoint num="1" id="19" />
+<TGConnectingPoint num="2" id="20" />
+<TGConnectingPoint num="3" id="21" />
+<TGConnectingPoint num="4" id="22" />
+<TGConnectingPoint num="5" id="23" />
+<TGConnectingPoint num="6" id="24" />
+<TGConnectingPoint num="7" id="25" />
+<TGConnectingPoint num="8" id="26" />
+<TGConnectingPoint num="9" id="27" />
+<TGConnectingPoint num="10" id="28" />
+<TGConnectingPoint num="11" id="29" />
+<TGConnectingPoint num="12" id="30" />
+<TGConnectingPoint num="13" id="31" />
+<TGConnectingPoint num="14" id="32" />
+<TGConnectingPoint num="15" id="33" />
+<extraparam>
+<Line value="The statement is ciphered with" />
+<Line value="the public key of the client" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="301" id="51" >
+<cdparam x="966" y="281" />
+<sizeparam width="209" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="UML Note" value="Creation of a token specific to
+the Banque Courtois
+" />
+<TGConnectingPoint num="0" id="35" />
+<TGConnectingPoint num="1" id="36" />
+<TGConnectingPoint num="2" id="37" />
+<TGConnectingPoint num="3" id="38" />
+<TGConnectingPoint num="4" id="39" />
+<TGConnectingPoint num="5" id="40" />
+<TGConnectingPoint num="6" id="41" />
+<TGConnectingPoint num="7" id="42" />
+<TGConnectingPoint num="8" id="43" />
+<TGConnectingPoint num="9" id="44" />
+<TGConnectingPoint num="10" id="45" />
+<TGConnectingPoint num="11" id="46" />
+<TGConnectingPoint num="12" id="47" />
+<TGConnectingPoint num="13" id="48" />
+<TGConnectingPoint num="14" id="49" />
+<TGConnectingPoint num="15" id="50" />
+<extraparam>
+<Line value="Creation of a token specific to" />
+<Line value="the Banque Courtois" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="606" id="110" >
+<cdparam x="864" y="116" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="OtherBank" value="Instance name" />
+<TGConnectingPoint num="0" id="61" />
+<TGConnectingPoint num="1" id="62" />
+<TGConnectingPoint num="2" id="63" />
+<TGConnectingPoint num="3" id="64" />
+<TGConnectingPoint num="4" id="65" />
+<TGConnectingPoint num="5" id="66" />
+<TGConnectingPoint num="6" id="67" />
+<TGConnectingPoint num="7" id="68" />
+<TGConnectingPoint num="8" id="69" />
+<TGConnectingPoint num="9" id="70" />
+<TGConnectingPoint num="10" id="71" />
+<TGConnectingPoint num="11" id="72" />
+<TGConnectingPoint num="12" id="73" />
+<TGConnectingPoint num="13" id="74" />
+<TGConnectingPoint num="14" id="75" />
+<TGConnectingPoint num="15" id="76" />
+<TGConnectingPoint num="16" id="77" />
+<TGConnectingPoint num="17" id="78" />
+<TGConnectingPoint num="18" id="79" />
+<TGConnectingPoint num="19" id="80" />
+<TGConnectingPoint num="20" id="81" />
+<TGConnectingPoint num="21" id="82" />
+<TGConnectingPoint num="22" id="83" />
+<TGConnectingPoint num="23" id="84" />
+<TGConnectingPoint num="24" id="85" />
+<TGConnectingPoint num="25" id="86" />
+<TGConnectingPoint num="26" id="87" />
+<TGConnectingPoint num="27" id="88" />
+<TGConnectingPoint num="28" id="89" />
+<TGConnectingPoint num="29" id="90" />
+<TGConnectingPoint num="30" id="91" />
+<TGConnectingPoint num="31" id="92" />
+<TGConnectingPoint num="32" id="93" />
+<TGConnectingPoint num="33" id="94" />
+<TGConnectingPoint num="34" id="95" />
+<TGConnectingPoint num="35" id="96" />
+<TGConnectingPoint num="36" id="97" />
+<TGConnectingPoint num="37" id="98" />
+<TGConnectingPoint num="38" id="99" />
+<TGConnectingPoint num="39" id="100" />
+<TGConnectingPoint num="40" id="101" />
+<TGConnectingPoint num="41" id="102" />
+<TGConnectingPoint num="42" id="103" />
+<TGConnectingPoint num="43" id="104" />
+<TGConnectingPoint num="44" id="105" />
+<TGConnectingPoint num="45" id="106" />
+<TGConnectingPoint num="46" id="107" />
+<TGConnectingPoint num="47" id="108" />
+<TGConnectingPoint num="48" id="109" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="602" id="60" >
+<father id="110" num="0" />
+<cdparam x="869" y="285" />
+<sizeparam width="141" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
+<infoparam name="action state" value="m = {Id_BC}_BCpubK" />
+<TGConnectingPoint num="0" id="52" />
+<TGConnectingPoint num="1" id="53" />
+<TGConnectingPoint num="2" id="54" />
+<TGConnectingPoint num="3" id="55" />
+<TGConnectingPoint num="4" id="56" />
+<TGConnectingPoint num="5" id="57" />
+<TGConnectingPoint num="6" id="58" />
+<TGConnectingPoint num="7" id="59" />
+</SUBCOMPONENT>
+
+<COMPONENT type="606" id="169" >
+<cdparam x="533" y="116" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="BanqueCourtoisSystem" value="Instance name" />
+<TGConnectingPoint num="0" id="120" />
+<TGConnectingPoint num="1" id="121" />
+<TGConnectingPoint num="2" id="122" />
+<TGConnectingPoint num="3" id="123" />
+<TGConnectingPoint num="4" id="124" />
+<TGConnectingPoint num="5" id="125" />
+<TGConnectingPoint num="6" id="126" />
+<TGConnectingPoint num="7" id="127" />
+<TGConnectingPoint num="8" id="128" />
+<TGConnectingPoint num="9" id="129" />
+<TGConnectingPoint num="10" id="130" />
+<TGConnectingPoint num="11" id="131" />
+<TGConnectingPoint num="12" id="132" />
+<TGConnectingPoint num="13" id="133" />
+<TGConnectingPoint num="14" id="134" />
+<TGConnectingPoint num="15" id="135" />
+<TGConnectingPoint num="16" id="136" />
+<TGConnectingPoint num="17" id="137" />
+<TGConnectingPoint num="18" id="138" />
+<TGConnectingPoint num="19" id="139" />
+<TGConnectingPoint num="20" id="140" />
+<TGConnectingPoint num="21" id="141" />
+<TGConnectingPoint num="22" id="142" />
+<TGConnectingPoint num="23" id="143" />
+<TGConnectingPoint num="24" id="144" />
+<TGConnectingPoint num="25" id="145" />
+<TGConnectingPoint num="26" id="146" />
+<TGConnectingPoint num="27" id="147" />
+<TGConnectingPoint num="28" id="148" />
+<TGConnectingPoint num="29" id="149" />
+<TGConnectingPoint num="30" id="150" />
+<TGConnectingPoint num="31" id="151" />
+<TGConnectingPoint num="32" id="152" />
+<TGConnectingPoint num="33" id="153" />
+<TGConnectingPoint num="34" id="154" />
+<TGConnectingPoint num="35" id="155" />
+<TGConnectingPoint num="36" id="156" />
+<TGConnectingPoint num="37" id="157" />
+<TGConnectingPoint num="38" id="158" />
+<TGConnectingPoint num="39" id="159" />
+<TGConnectingPoint num="40" id="160" />
+<TGConnectingPoint num="41" id="161" />
+<TGConnectingPoint num="42" id="162" />
+<TGConnectingPoint num="43" id="163" />
+<TGConnectingPoint num="44" id="164" />
+<TGConnectingPoint num="45" id="165" />
+<TGConnectingPoint num="46" id="166" />
+<TGConnectingPoint num="47" id="167" />
+<TGConnectingPoint num="48" id="168" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="602" id="119" >
+<father id="169" num="0" />
+<cdparam x="538" y="521" />
+<sizeparam width="235" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
+<infoparam name="action state" value="m1 = s1, statementBanqueCourtois" />
+<TGConnectingPoint num="0" id="111" />
+<TGConnectingPoint num="1" id="112" />
+<TGConnectingPoint num="2" id="113" />
+<TGConnectingPoint num="3" id="114" />
+<TGConnectingPoint num="4" id="115" />
+<TGConnectingPoint num="5" id="116" />
+<TGConnectingPoint num="6" id="117" />
+<TGConnectingPoint num="7" id="118" />
+</SUBCOMPONENT>
+
+<COMPONENT type="606" id="219" >
+<cdparam x="206" y="116" />
+<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="browserClient1" value="Instance name" />
+<TGConnectingPoint num="0" id="170" />
+<TGConnectingPoint num="1" id="171" />
+<TGConnectingPoint num="2" id="172" />
+<TGConnectingPoint num="3" id="173" />
+<TGConnectingPoint num="4" id="174" />
+<TGConnectingPoint num="5" id="175" />
+<TGConnectingPoint num="6" id="176" />
+<TGConnectingPoint num="7" id="177" />
+<TGConnectingPoint num="8" id="178" />
+<TGConnectingPoint num="9" id="179" />
+<TGConnectingPoint num="10" id="180" />
+<TGConnectingPoint num="11" id="181" />
+<TGConnectingPoint num="12" id="182" />
+<TGConnectingPoint num="13" id="183" />
+<TGConnectingPoint num="14" id="184" />
+<TGConnectingPoint num="15" id="185" />
+<TGConnectingPoint num="16" id="186" />
+<TGConnectingPoint num="17" id="187" />
+<TGConnectingPoint num="18" id="188" />
+<TGConnectingPoint num="19" id="189" />
+<TGConnectingPoint num="20" id="190" />
+<TGConnectingPoint num="21" id="191" />
+<TGConnectingPoint num="22" id="192" />
+<TGConnectingPoint num="23" id="193" />
+<TGConnectingPoint num="24" id="194" />
+<TGConnectingPoint num="25" id="195" />
+<TGConnectingPoint num="26" id="196" />
+<TGConnectingPoint num="27" id="197" />
+<TGConnectingPoint num="28" id="198" />
+<TGConnectingPoint num="29" id="199" />
+<TGConnectingPoint num="30" id="200" />
+<TGConnectingPoint num="31" id="201" />
+<TGConnectingPoint num="32" id="202" />
+<TGConnectingPoint num="33" id="203" />
+<TGConnectingPoint num="34" id="204" />
+<TGConnectingPoint num="35" id="205" />
+<TGConnectingPoint num="36" id="206" />
+<TGConnectingPoint num="37" id="207" />
+<TGConnectingPoint num="38" id="208" />
+<TGConnectingPoint num="39" id="209" />
+<TGConnectingPoint num="40" id="210" />
+<TGConnectingPoint num="41" id="211" />
+<TGConnectingPoint num="42" id="212" />
+<TGConnectingPoint num="43" id="213" />
+<TGConnectingPoint num="44" id="214" />
+<TGConnectingPoint num="45" id="215" />
+<TGConnectingPoint num="46" id="216" />
+<TGConnectingPoint num="47" id="217" />
+<TGConnectingPoint num="48" id="218" />
+<extraparam>
+<Actor data="false" />
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="107" id="220" >
+<cdparam x="538" y="556" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="m1" />
+<P1  x="538" y="556" id="163" />
+<P2  x="211" y="556" id="213" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="221" >
+<cdparam x="869" y="496" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="s1 = statement(client1_pubClient)" />
+<P1  x="869" y="496" id="98" />
+<P2  x="538" y="496" id="157" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="222" >
+<cdparam x="538" y="466" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="askStatement(Id_BC)" />
+<P1  x="538" y="466" id="154" />
+<P2  x="869" y="466" id="95" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="223" >
+<cdparam x="538" y="436" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HTTPSConnectionEstablishement" />
+<P1  x="538" y="436" id="151" />
+<P2  x="869" y="436" id="92" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="224" >
+<cdparam x="211" y="406" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="askAllStatements" />
+<P1  x="211" y="406" id="198" />
+<P2  x="538" y="406" id="148" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="225" >
+<cdparam x="211" y="366" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="addStatement(m)" />
+<P1  x="211" y="366" id="194" />
+<P2  x="538" y="366" id="144" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="226" >
+<cdparam x="869" y="326" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="m" />
+<P1  x="869" y="326" id="81" />
+<P2  x="211" y="326" id="190" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="227" >
+<cdparam x="538" y="176" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="pubK_BC" />
+<P1  x="538" y="176" id="125" />
+<P2  x="211" y="176" id="175" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="228" >
+<cdparam x="211" y="156" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="getPublicKey" />
+<P1  x="211" y="156" id="173" />
+<P2  x="538" y="156" id="123" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="229" >
+<cdparam x="211" y="136" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HttpsConnection" />
+<P1  x="211" y="136" id="171" />
+<P2  x="538" y="136" id="121" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="230" >
+<cdparam x="211" y="216" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="createAuthToken(banque-courtois_pubK)" />
+<P1  x="211" y="256" id="183" />
+<P2  x="869" y="256" id="74" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+<CONNECTOR type="107" id="231" >
+<cdparam x="211" y="186" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="HTTPSConnectionEstablishement" />
+<P1  x="211" y="226" id="180" />
+<P2  x="869" y="226" id="71" />
+<AutomaticDrawing  data="true" />
+</CONNECTOR>
+
+</SequenceDiagramPanel>
+
+</Modeling>
+
+
+
+
+</TURTLEGMODELING>
\ No newline at end of file