<?xml version="1.0" encoding="UTF-8" standalone="no"?><SplBehavioralModel name="20"><ActivityDiagram name="AD_SPL_0"><Elements><ActivityDiagramElement name="Start node" type="StartNode"/><ActivityDiagramElement name="End node" type="EndNode"/><ActivityDiagramElement name="sequenceDiagram1" type="Activity"><RepresentedBy seqDiagName="sequenceDiagram1"/><RepresentedBy seqDiagName="sequenceDiagram1"/></ActivityDiagramElement><ActivityDiagramElement name="sequenceDiagram1" type="Activity"><RepresentedBy seqDiagName="sequenceDiagram1"/><RepresentedBy seqDiagName="sequenceDiagram1"/></ActivityDiagramElement></Elements><Transitions><Transition name="sequenceDiagram1" probability="1.0" source="sequenceDiagram1" target="End node"/><Transition name="" probability="1.0" source="Start node" target="sequenceDiagram1"/></Transitions></ActivityDiagram><SequenceDiagrams><SequenceDiagram guard="o_4" name="SD_11"><Message name="T22" probability="0.9997" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9952" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.9956" source="Lifeline3" target="Lifeline2" type="synchronous"/><Message name="T25" probability="0.995" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.995" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T27" probability="0.995" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.999" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T29" probability="0.9997" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.999" source="Lifeline4" target="Lifeline5" type="synchronous"/><Message name="T31" probability="0.995" source="Lifeline5" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Overload" name="n0"><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_18" name="SD_53"><Message name="T22" probability="0.9992" source="Lifeline2" target="Lifeline2" type="synchronous"/><Message name="T23" probability="0.9998" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9949" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T25" probability="0.9986" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T26" probability="0.9968" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T27" probability="0.9992" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T28" probability="0.9998" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T29" probability="0.9949" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T30" probability="0.9998" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9949" source="Lifeline4" target="Lifeline3" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_16" name="SD_47"><Message name="T22" probability="0.9902" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T23" probability="0.9992" source="Lifeline1" target="Lifeline2" type="synchronous"/><Message name="T24" probability="0.9919" source="Lifeline2" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9967" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T26" probability="0.9919" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.9902" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9919" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T29" probability="0.9902" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T30" probability="0.9967" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9967" source="Lifeline4" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_17" name="SD_50"><Message name="T22" probability="0.9917" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T23" probability="0.9908" source="Lifeline2" target="Lifeline5" type="synchronous"/><Message name="T24" probability="0.9919" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9908" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T26" probability="0.9917" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T27" probability="0.9919" source="Lifeline2" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9917" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9904" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.9908" source="Lifeline4" target="Lifeline5" type="synchronous"/><Message name="T31" probability="0.9908" source="Lifeline5" target="Lifeline5" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_7" name="SD_20"><Message name="T22" probability="0.9997" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T23" probability="0.996" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T24" probability="0.9957" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T25" probability="0.9957" source="Lifeline5" target="Lifeline5" type="synchronous"/><Message name="T26" probability="0.9907" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T27" probability="0.9966" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9966" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T29" probability="0.9966" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T30" probability="0.9997" source="Lifeline1" target="Lifeline3" type="synchronous"/><Message name="T31" probability="0.993" source="Lifeline3" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_1" name="SD_2"><Message name="T22" probability="0.9955" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T23" probability="0.9979" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T24" probability="0.9956" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9976" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T26" probability="0.9979" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T27" probability="0.9979" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9938" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T29" probability="0.9938" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.9938" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9938" source="Lifeline4" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_15" name="SD_44"><Message name="T22" probability="0.9965" source="Lifeline3" target="Lifeline2" type="synchronous"/><Message name="T23" probability="0.9929" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T24" probability="0.9978" source="Lifeline1" target="Lifeline3" type="synchronous"/><Message name="T25" probability="0.9929" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9973" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.9929" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9957" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T29" probability="0.9965" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T30" probability="0.9957" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9957" source="Lifeline4" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_8" name="SD_23"><Message name="T22" probability="0.9903" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9903" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9917" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T25" probability="0.996" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T26" probability="0.9903" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T27" probability="0.9973" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9903" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T29" probability="0.9973" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9954" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T31" probability="0.996" source="Lifeline5" target="Lifeline3" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Executive_Floor" name="n6"><Message name="callLift" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="CallFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="callLift" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="CallFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_9" name="SD_26"><Message name="T22" probability="0.9936" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T23" probability="0.9984" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9936" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T25" probability="0.9936" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T26" probability="0.9984" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T27" probability="0.9985" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T28" probability="0.9984" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T29" probability="0.9936" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T30" probability="0.9984" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.992" source="Lifeline4" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_19" name="SD_56"><Message name="T22" probability="0.9986" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T23" probability="0.9986" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T24" probability="0.9959" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T25" probability="0.9959" source="Lifeline5" target="Lifeline5" type="synchronous"/><Message name="T26" probability="0.9959" source="Lifeline5" target="Lifeline5" type="synchronous"/><Message name="T27" probability="0.9918" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T28" probability="0.9989" source="Lifeline3" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9959" source="Lifeline2" target="Lifeline5" type="synchronous"/><Message name="T30" probability="0.9961" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9986" source="Lifeline4" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Empty" name="n1"><Message name="cancell_all_requests" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="cancell_all_requests" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_20" name="SD_59"><Message name="T22" probability="0.9986" source="Lifeline5" target="Lifeline1" type="synchronous"/><Message name="T23" probability="0.9942" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T24" probability="0.9942" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9986" source="Lifeline0" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9927" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T27" probability="0.9927" source="Lifeline5" target="Lifeline5" type="synchronous"/><Message name="T28" probability="0.9902" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T29" probability="0.998" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.998" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9986" source="Lifeline4" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Anti_Prank" name="n5"><Message name="pressButtonLift" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="floorIsServed" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="pressButtonLift" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="floorIsServed" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_5" name="SD_14"><Message name="T22" probability="0.9951" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9995" source="Lifeline4" target="Lifeline1" type="synchronous"/><Message name="T24" probability="0.9951" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T25" probability="0.9999" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T26" probability="0.9964" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T27" probability="0.9977" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9977" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T29" probability="0.9916" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T30" probability="0.9977" source="Lifeline2" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9951" source="Lifeline0" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_13" name="SD_38"><Message name="T22" probability="0.9992" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T23" probability="0.9944" source="Lifeline2" target="Lifeline5" type="synchronous"/><Message name="T24" probability="0.9973" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9992" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T26" probability="0.9906" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T27" probability="0.991" source="Lifeline3" target="Lifeline1" type="synchronous"/><Message name="T28" probability="0.9944" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T29" probability="0.991" source="Lifeline5" target="Lifeline1" type="synchronous"/><Message name="T30" probability="0.991" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T31" probability="0.9992" source="Lifeline1" target="Lifeline2" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_11" name="SD_32"><Message name="T22" probability="0.9948" source="Lifeline1" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9994" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.9948" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T25" probability="0.9952" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T26" probability="0.9948" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T27" probability="0.9946" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9952" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9994" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T30" probability="0.9994" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T31" probability="0.9946" source="Lifeline3" target="Lifeline0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="sequenceDiagram1"><Message name="init" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setDirection(down)" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_17" type="optional"><RepresentedBy seqDiagName="SD_26"/></Fragment><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="close" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_36" type="optional"><RepresentedBy seqDiagName="SD_56"/></Fragment><Fragment name="Fragment_11" type="optional"><RepresentedBy seqDiagName="SD_17"/></Fragment><Message name="getFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_6" type="optional"><RepresentedBy seqDiagName="SD_11"/></Fragment><Fragment name="Fragment_20" type="optional"><RepresentedBy seqDiagName="SD_32"/></Fragment><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_27" type="optional"><RepresentedBy seqDiagName="SD_41"/></Fragment><Fragment name="Fragment_30" type="optional"><RepresentedBy seqDiagName="SD_47"/></Fragment><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_22" type="optional"><RepresentedBy seqDiagName="SD_35"/></Fragment><Message name="getStatus" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_34" type="optional"><RepresentedBy seqDiagName="SD_53"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Message name="close" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_12" type="optional"><RepresentedBy seqDiagName="SD_20"/></Fragment><Message name="moveToFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="landing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_4" type="optional"><RepresentedBy seqDiagName="SD_8"/></Fragment><Message name="getStatus" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="Fragment_29" type="optional"><RepresentedBy seqDiagName="SD_44"/></Fragment><Fragment name="Fragment_32" type="optional"><RepresentedBy seqDiagName="SD_50"/></Fragment><Message name="getFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_2" type="optional"><RepresentedBy seqDiagName="SD_5"/></Fragment><Fragment name="Fragment_14" type="optional"><RepresentedBy seqDiagName="SD_23"/></Fragment><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Message name="moveToFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="landing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="Fragment_39" type="optional"><RepresentedBy seqDiagName="SD_59"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Fragment name="Fragment_19" type="optional"><RepresentedBy seqDiagName="SD_29"/></Fragment><Fragment name="Fragment_24" type="optional"><RepresentedBy seqDiagName="SD_38"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="init" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="setDirection(down)" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="close" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Fragment name="Fragment_8" type="optional"><RepresentedBy seqDiagName="SD_14"/></Fragment><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getDirection" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getStatus" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Shuttle" name="n8"><Message name="shuttle" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="shuttle" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_3" name="SD_8"><Message name="T22" probability="0.999" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9906" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T24" probability="0.9956" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T25" probability="0.9906" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T26" probability="0.9966" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T27" probability="0.9906" source="Lifeline3" target="Lifeline4" type="synchronous"/><Message name="T28" probability="0.9956" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9915" source="Lifeline2" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9906" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.9915" source="Lifeline4" target="Lifeline0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Park" name="n3"><Message name="lift_idle" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="time_of_the_day" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="go_to_first_floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="first_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="go_to_last_floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="last_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="lift_idle" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="time_of_the_day" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="go_to_first_floor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="first_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="go_to_last_floor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="last_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Two_Thirds_Full" name="n2"><Message name="noStop" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="noStop" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_10" name="SD_29"><Message name="T22" probability="0.9997" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T23" probability="0.9937" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T24" probability="0.9997" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T25" probability="0.9989" source="Lifeline4" target="Lifeline2" type="synchronous"/><Message name="T26" probability="0.9966" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T27" probability="0.9932" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T28" probability="0.9989" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9937" source="Lifeline2" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9937" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9989" source="Lifeline0" target="Lifeline2" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Open_When_Idle" name="n4"><Message name="setLiftIdle(True)" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="setLiftIdle(True)" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="o_6" name="SD_17"><Message name="T22" probability="0.9931" source="Lifeline5" target="Lifeline2" type="synchronous"/><Message name="T23" probability="0.9964" source="Lifeline2" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.9931" source="Lifeline3" target="Lifeline2" type="synchronous"/><Message name="T25" probability="0.9957" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9954" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T27" probability="0.9934" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T28" probability="0.9957" source="Lifeline4" target="Lifeline1" type="synchronous"/><Message name="T29" probability="0.9957" source="Lifeline1" target="Lifeline1" type="synchronous"/><Message name="T30" probability="0.9955" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9954" source="Lifeline0" target="Lifeline5" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Quick_Close" name="n7"><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="VerifyStatusButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="closeTheDoor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="VerifyStatusButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="closeTheDoor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_14" name="SD_41"><Message name="T22" probability="0.9934" source="Lifeline4" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9928" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T24" probability="0.995" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9908" source="Lifeline0" target="Lifeline4" type="synchronous"/><Message name="T26" probability="0.995" source="Lifeline4" target="Lifeline0" type="synchronous"/><Message name="T27" probability="0.995" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.999" source="Lifeline0" target="Lifeline2" type="synchronous"/><Message name="T29" probability="0.9908" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T30" probability="0.9908" source="Lifeline4" target="Lifeline4" type="synchronous"/><Message name="T31" probability="0.995" source="Lifeline4" target="Lifeline0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_2" name="SD_5"><Message name="T22" probability="0.996" source="Lifeline2" target="Lifeline1" type="synchronous"/><Message name="T23" probability="0.9928" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T24" probability="0.9925" source="Lifeline5" target="Lifeline4" type="synchronous"/><Message name="T25" probability="0.996" source="Lifeline4" target="Lifeline1" type="synchronous"/><Message name="T26" probability="0.9987" source="Lifeline1" target="Lifeline2" type="synchronous"/><Message name="T27" probability="0.9925" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T28" probability="0.9902" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T29" probability="0.995" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9902" source="Lifeline0" target="Lifeline3" type="synchronous"/><Message name="T31" probability="0.9925" source="Lifeline3" target="Lifeline4" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="o_12" name="SD_35"><Message name="T22" probability="0.9929" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T23" probability="0.9956" source="Lifeline3" target="Lifeline2" type="synchronous"/><Message name="T24" probability="0.9939" source="Lifeline2" target="Lifeline4" type="synchronous"/><Message name="T25" probability="0.9929" source="Lifeline4" target="Lifeline3" type="synchronous"/><Message name="T26" probability="0.9929" source="Lifeline3" target="Lifeline3" type="synchronous"/><Message name="T27" probability="0.9949" source="Lifeline3" target="Lifeline5" type="synchronous"/><Message name="T28" probability="0.9929" source="Lifeline5" target="Lifeline3" type="synchronous"/><Message name="T29" probability="0.996" source="Lifeline3" target="Lifeline0" type="synchronous"/><Message name="T30" probability="0.9949" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T31" probability="0.9949" source="Lifeline5" target="Lifeline5" type="synchronous"/></SequenceDiagram><Lifelines><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Lifeline0" reliability="0.9942"/><Lifeline name="Lifeline_1" reliability="0.999"/><Lifeline name="Lifeline1" reliability="0.9986"/><Lifeline name="Lifeline4" reliability="0.998"/><Lifeline name="Lifeline0" reliability="0.9942"/><Lifeline name="Lifeline3" reliability="0.9902"/><Lifeline name="Lifeline1" reliability="0.9986"/><Lifeline name="Lifeline3" reliability="0.9902"/><Lifeline name="Lifeline5" reliability="0.9927"/><Lifeline name="Lifeline2" reliability="0.9965"/><Lifeline name="Lifeline5" reliability="0.9927"/><Lifeline name="Lifeline4" reliability="0.998"/><Lifeline name="Lifeline_0" reliability="0.999"/></Lifelines><Fragments><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="Fragment_20" type="optional"><RepresentedBy seqDiagName="SD_32"/></Fragment><Fragment name="Fragment_8" type="optional"><RepresentedBy seqDiagName="SD_14"/></Fragment><Fragment name="Fragment_19" type="optional"><RepresentedBy seqDiagName="SD_29"/></Fragment><Fragment name="Fragment_6" type="optional"><RepresentedBy seqDiagName="SD_11"/></Fragment><Fragment name="Fragment_2" type="optional"><RepresentedBy seqDiagName="SD_5"/></Fragment><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Fragment name="Fragment_11" type="optional"><RepresentedBy seqDiagName="SD_17"/></Fragment><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Fragment name="Fragment_24" type="optional"><RepresentedBy seqDiagName="SD_38"/></Fragment><Fragment name="Fragment_39" type="optional"><RepresentedBy seqDiagName="SD_59"/></Fragment><Fragment name="Fragment_17" type="optional"><RepresentedBy seqDiagName="SD_26"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="Fragment_27" type="optional"><RepresentedBy seqDiagName="SD_41"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="Fragment_29" type="optional"><RepresentedBy seqDiagName="SD_44"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="Fragment_32" type="optional"><RepresentedBy seqDiagName="SD_50"/></Fragment><Fragment name="Fragment_22" type="optional"><RepresentedBy seqDiagName="SD_35"/></Fragment><Fragment name="Fragment_34" type="optional"><RepresentedBy seqDiagName="SD_53"/></Fragment><Fragment name="Fragment_36" type="optional"><RepresentedBy seqDiagName="SD_56"/></Fragment><Fragment name="Fragment_14" type="optional"><RepresentedBy seqDiagName="SD_23"/></Fragment><Fragment name="Fragment_12" type="optional"><RepresentedBy seqDiagName="SD_20"/></Fragment><Fragment name="Fragment_30" type="optional"><RepresentedBy seqDiagName="SD_47"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Fragment name="Fragment_4" type="optional"><RepresentedBy seqDiagName="SD_8"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment></Fragments></SequenceDiagrams></SplBehavioralModel>
