<?xml version="1.0" encoding="UTF-8" standalone="no"?><SplBehavioralModel name="1"><ActivityDiagram name="AD_SPL_0"><Elements><ActivityDiagramElement name="Start node" type="StartNode"/><ActivityDiagramElement name="seqDiagramOnWaterPump" type="Activity"><RepresentedBy seqDiagName="seqDiagramOnWaterPump"/></ActivityDiagramElement><ActivityDiagramElement name="End node" type="EndNode"/><ActivityDiagramElement name="seqDiagramStopSystem" type="Activity"><RepresentedBy seqDiagName="seqDiagramStopSystem"/></ActivityDiagramElement><ActivityDiagramElement name="DecisionNode_1" type="DecisionNode"/><ActivityDiagramElement name="seqDiagramOffWaterPump" type="Activity"><RepresentedBy seqDiagName="seqDiagramOffWaterPump"/></ActivityDiagramElement><ActivityDiagramElement name="DecisionNode_0" type="DecisionNode"/><ActivityDiagramElement name="seqDiagramEnvironment" type="Activity"><RepresentedBy seqDiagName="seqDiagramEnvironment"/></ActivityDiagramElement><ActivityDiagramElement name="seqDiagramWaterSensor" type="Activity"><RepresentedBy seqDiagName="seqDiagramWaterSensor"/></ActivityDiagramElement><ActivityDiagramElement name="seqDiagramMethaneSensor" type="Activity"><RepresentedBy seqDiagName="seqDiagramMethaneSensor"/></ActivityDiagramElement><ActivityDiagramElement name="seqDiagramStartSystem" type="Activity"><RepresentedBy seqDiagName="seqDiagramStartSystem"/><RepresentedBy seqDiagName="seqDiagramStartSystem"/></ActivityDiagramElement><ActivityDiagramElement name="seqDiagramStartSystem" type="Activity"><RepresentedBy seqDiagName="seqDiagramStartSystem"/><RepresentedBy seqDiagName="seqDiagramStartSystem"/></ActivityDiagramElement></Elements><Transitions><Transition name="seqDiagramOnWaterPump" probability="1.0" source="seqDiagramOnWaterPump" target="seqDiagramEnvironment"/><Transition name="" probability="0.5" source="DecisionNode_0" target="seqDiagramOnWaterPump"/><Transition name="" probability="0.5" source="DecisionNode_1" target="seqDiagramEnvironment"/><Transition name="seqDiagramStopSystem" probability="1.0" source="seqDiagramStopSystem" target="End node"/><Transition name="" probability="0.5" source="DecisionNode_1" target="seqDiagramStopSystem"/><Transition name="seqDiagramOffWaterPump" probability="1.0" source="seqDiagramOffWaterPump" target="DecisionNode_1"/><Transition name="" probability="0.5" source="DecisionNode_0" target="seqDiagramOffWaterPump"/><Transition name="seqDiagramEnvironment" probability="1.0" source="seqDiagramEnvironment" target="DecisionNode_0"/><Transition name="seqDiagramWaterSensor" probability="1.0" source="seqDiagramWaterSensor" target="seqDiagramEnvironment"/><Transition name="seqDiagramMethaneSensor" probability="1.0" source="seqDiagramMethaneSensor" target="seqDiagramWaterSensor"/><Transition name="seqDiagramStartSystem" probability="1.0" source="seqDiagramStartSystem" target="seqDiagramMethaneSensor"/><Transition name="" probability="1.0" source="Start node" target="seqDiagramStartSystem"/></Transitions></ActivityDiagram><SequenceDiagrams><SequenceDiagram guard="true" name="seqDiagramStartSystem"><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="WaterSensor" name="n6"><Message name="low_methane" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="query_low_water" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="query_normal_water" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="query_high_water" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="define_water_level" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Fragment name="n9" type="optional"><RepresentedBy seqDiagName="n9"/></Fragment><Message name="highMethane" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="turnOffWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n10" type="optional"><RepresentedBy seqDiagName="n10"/></Fragment><Fragment name="n11" type="optional"><RepresentedBy seqDiagName="n11"/></Fragment><Fragment name="n12" type="optional"><RepresentedBy seqDiagName="n12"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="low_methane" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="query_low_water" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" 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="query_normal_water" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" 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="query_high_water" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" 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="define_water_level" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="seqDiagramWaterSensor"><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="Normal" name="n3"><Message name="init_normal_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="init" 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="init_normal_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="init" 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="Normal" name="n11"><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="query" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="seqDiagramStopSystem"><Fragment name="n14" type="optional"><RepresentedBy seqDiagName="n14"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="seqDiagramEnvironment"><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="Normal" name="n8"><Message name="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="pump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="pump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="High" name="n9"><Message name="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="pump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" 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="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="pump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Alarm" name="n13"><Message name="turnOnAlarm" 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="turnOnAlarm" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Low" name="n2"><Message name="init_low_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="init" 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="init_low_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="init" 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_1" name="SD_2"><Message name="T22" probability="0.9949" source="Lifeline1" target="Lifeline5" type="synchronous"/><Message name="T23" probability="0.9937" source="Lifeline5" target="Lifeline0" type="synchronous"/><Message name="T24" probability="0.9937" source="Lifeline0" target="Lifeline0" type="synchronous"/><Message name="T25" probability="0.9949" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T26" probability="0.9929" source="Lifeline5" target="Lifeline1" type="synchronous"/><Message name="T27" probability="0.9937" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T28" probability="0.9949" source="Lifeline0" target="Lifeline5" type="synchronous"/><Message name="T29" probability="0.9929" source="Lifeline5" target="Lifeline1" type="synchronous"/><Message name="T30" probability="0.9937" source="Lifeline1" target="Lifeline0" type="synchronous"/><Message name="T31" probability="0.9929" source="Lifeline0" target="Lifeline1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Start" name="n0"><Message name="start_system" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="start" 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="start_system" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="start" 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="true" name="seqDiagramOffWaterPump"><Message name="turnOffWaterPump" 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="turnOffWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="High" name="n12"><Fragment name="n13" type="optional"><RepresentedBy seqDiagName="n13"/></Fragment><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="MethaneSensor" name="n1"><Message name="init_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="init" 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="init_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="init" 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="true" name="seqDiagramOnWaterPump"><Message name="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="pump" 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="turnOnWaterPump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="pump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Low" name="n7"><Message name="turn_off_pump" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="turn_off_alarm" 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="turn_off_pump" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="turn_off_alarm" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Stop" name="n14"><Message name="stopSystem" 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="stopSystem" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Query" name="n5"><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="High" name="n4"><Message name="init_high_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="init" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="O" 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="init_high_sensor" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="init" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="O" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="seqDiagramMethaneSensor"><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="Low" name="n10"><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="r" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/><Message name="query" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="getSensorData" probability="0.999" source="Mock lifeline" target="Lifeline_1" type="synchronous"/><Message name="r" probability="1.0" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><Lifelines><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Lifeline_0" reliability="1.0"/><Lifeline name="Lifeline_1" reliability="0.999"/><Lifeline name="Lifeline0" reliability="0.9937"/><Lifeline name="Lifeline1" reliability="0.9929"/><Lifeline name="Lifeline5" reliability="0.9949"/></Lifelines><Fragments><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="n14" type="optional"><RepresentedBy seqDiagName="n14"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="n10" type="optional"><RepresentedBy seqDiagName="n10"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Fragment name="n11" type="optional"><RepresentedBy seqDiagName="n11"/></Fragment><Fragment name="n9" type="optional"><RepresentedBy seqDiagName="n9"/></Fragment><Fragment name="n13" type="optional"><RepresentedBy seqDiagName="n13"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="Fragment_0" type="optional"><RepresentedBy seqDiagName="SD_2"/></Fragment><Fragment name="n12" type="optional"><RepresentedBy seqDiagName="n12"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment></Fragments></SequenceDiagrams></SplBehavioralModel>
