SCCD/examples/digitalwatch/model_digitalwatch.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: state transitions Pages: 1 -->
<svg width="3974pt" height="1587pt"
 viewBox="0.00 0.00 3974.00 1587.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1583)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1583 3970,-1583 3970,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__P</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 3946,-8 3946,-8 3952,-8 3958,-14 3958,-20 3958,-20 3958,-1528 3958,-1528 3958,-1534 3952,-1540 3946,-1540 3946,-1540 20,-1540 20,-1540 14,-1540 8,-1534 8,-1528 8,-1528 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="1978.9986" y="-1521.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__P_Time</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="3145,-1105.5 3145,-1424 3950,-1424 3950,-1105.5 3145,-1105.5"/>
<text text-anchor="start" x="3534.1704" y="-1405.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Time</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__P_Display</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="1654,-790 1654,-1502 3137,-1502 3137,-790 1654,-790"/>
<text text-anchor="start" x="2376.335" y="-1483.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Display</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__P_Display_EditingTime</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M2493,-798C2493,-798 3101,-798 3101,-798 3107,-798 3113,-804 3113,-810 3113,-810 3113,-1452 3113,-1452 3113,-1458 3107,-1464 3101,-1464 3101,-1464 2493,-1464 2493,-1464 2487,-1464 2481,-1458 2481,-1452 2481,-1452 2481,-810 2481,-810 2481,-804 2487,-798 2493,-798"/>
<text text-anchor="start" x="2765.3326" y="-1445.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EditingTime</text>
<text text-anchor="start" x="2732.5018" y="-1425.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.startSelection</text>
<text text-anchor="start" x="2733" y="-1405.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.stopSelection</text>
<polygon fill="#000000" stroke="#000000" points="2729,-1439 2729,-1439 2865,-1439 2865,-1439 2729,-1439"/>
</g>
<g id="clust5" class="cluster">
<title>cluster__P_ChronoWrapper</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="984,-656 984,-1424 1646,-1424 1646,-656 984,-656"/>
<text text-anchor="start" x="1272.8298" y="-1405.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ChronoWrapper</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__P_ChronoWrapper_Chrono</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M1004,-664C1004,-664 1626,-664 1626,-664 1632,-664 1638,-670 1638,-676 1638,-676 1638,-1281 1638,-1281 1638,-1287 1632,-1293 1626,-1293 1626,-1293 1004,-1293 1004,-1293 998,-1293 992,-1287 992,-1281 992,-1281 992,-676 992,-676 992,-670 998,-664 1004,-664"/>
<text text-anchor="start" x="1295.8296" y="-1274.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Chrono</text>
</g>
<g id="clust7" class="cluster">
<title>cluster__P_Indiglo</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="700,-974.5 700,-1424 976,-1424 976,-974.5 700,-974.5"/>
<text text-anchor="start" x="820.8282" y="-1405.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Indiglo</text>
</g>
<g id="clust8" class="cluster">
<title>cluster__P_Alarm</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="30,-16 30,-1502 692,-1502 692,-16 30,-16"/>
<text text-anchor="start" x="345.837" y="-1483.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Alarm</text>
</g>
<g id="clust9" class="cluster">
<title>cluster__P_Alarm_On</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M58,-24C58,-24 268,-24 268,-24 274,-24 280,-30 280,-36 280,-36 280,-1452 280,-1452 280,-1458 274,-1464 268,-1464 268,-1464 58,-1464 58,-1464 52,-1464 46,-1458 46,-1452 46,-1452 46,-36 46,-36 46,-30 52,-24 58,-24"/>
<text text-anchor="start" x="155.4972" y="-1445.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">On</text>
<text text-anchor="start" x="111.6768" y="-1425.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.setAlarm</text>
<text text-anchor="start" x="112" y="-1405.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.setAlarm</text>
<polygon fill="#000000" stroke="#000000" points="108,-1439 108,-1439 219,-1439 219,-1439 108,-1439"/>
</g>
<g id="clust10" class="cluster">
<title>cluster__P_Alarm_On_Blinking</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M66,-32C66,-32 260,-32 260,-32 266,-32 272,-38 272,-44 272,-44 272,-880.5 272,-880.5 272,-886.5 266,-892.5 260,-892.5 260,-892.5 66,-892.5 66,-892.5 60,-892.5 54,-886.5 54,-880.5 54,-880.5 54,-44 54,-44 54,-38 60,-32 66,-32"/>
<text text-anchor="start" x="141.9982" y="-873.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Blinking</text>
<text text-anchor="start" x="106.834" y="-853.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.unsetIndiglo</text>
<polygon fill="#000000" stroke="#000000" points="103,-867.5 103,-867.5 223,-867.5 223,-867.5 103,-867.5"/>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1573.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P -->
<!-- __initial&#45;&gt;_P -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_P</title>
<path fill="none" stroke="#000000" d="M16,-1567.932C16,-1563.8364 16,-1557.6612 16,-1550.0133"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-1549.995 16,-1539.9951 12.5001,-1549.9951 19.5001,-1549.995"/>
<text text-anchor="middle" x="17.3895" y="-1551" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Time -->
<!-- _P_Time_initial -->
<g id="node4" class="node">
<title>_P_Time_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="3192" cy="-1380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Time_Increasing -->
<g id="node6" class="node">
<title>_P_Time_Increasing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="3230.5,-1267.5 3153.5,-1267.5 3153.5,-1231.5 3230.5,-1231.5 3230.5,-1267.5"/>
<text text-anchor="start" x="3164.8268" y="-1245.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Increasing</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M3165.8333,-1232.5C3165.8333,-1232.5 3218.1667,-1232.5 3218.1667,-1232.5 3223.8333,-1232.5 3229.5,-1238.1667 3229.5,-1243.8333 3229.5,-1243.8333 3229.5,-1255.1667 3229.5,-1255.1667 3229.5,-1260.8333 3223.8333,-1266.5 3218.1667,-1266.5 3218.1667,-1266.5 3165.8333,-1266.5 3165.8333,-1266.5 3160.1667,-1266.5 3154.5,-1260.8333 3154.5,-1255.1667 3154.5,-1255.1667 3154.5,-1243.8333 3154.5,-1243.8333 3154.5,-1238.1667 3160.1667,-1232.5 3165.8333,-1232.5"/>
</g>
<!-- _P_Time_initial&#45;&gt;_P_Time_Increasing -->
<g id="edge2" class="edge">
<title>_P_Time_initial&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3192,-1374.8288C3192,-1370.1736 3192,-1363.4097 3192,-1357.5 3192,-1357.5 3192,-1357.5 3192,-1310.5 3192,-1299.8104 3192,-1288.0672 3192,-1277.763"/>
<polygon fill="#000000" stroke="#000000" points="3195.5001,-1277.6503 3192,-1267.6503 3188.5001,-1277.6504 3195.5001,-1277.6503"/>
<text text-anchor="middle" x="3193.3895" y="-1331" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Time_Editing -->
<g id="node5" class="node">
<title>_P_Time_Editing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="3257,-1149.5 3199,-1149.5 3199,-1113.5 3257,-1113.5 3257,-1149.5"/>
<text text-anchor="start" x="3209.6622" y="-1127.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Editing</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M3211.3333,-1114.5C3211.3333,-1114.5 3244.6667,-1114.5 3244.6667,-1114.5 3250.3333,-1114.5 3256,-1120.1667 3256,-1125.8333 3256,-1125.8333 3256,-1137.1667 3256,-1137.1667 3256,-1142.8333 3250.3333,-1148.5 3244.6667,-1148.5 3244.6667,-1148.5 3211.3333,-1148.5 3211.3333,-1148.5 3205.6667,-1148.5 3200,-1142.8333 3200,-1137.1667 3200,-1137.1667 3200,-1125.8333 3200,-1125.8333 3200,-1120.1667 3205.6667,-1114.5 3211.3333,-1114.5"/>
</g>
<!-- _P_Time_Editing&#45;&gt;_P_Time_Increasing -->
<g id="edge3" class="edge">
<title>_P_Time_Editing&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3198.9148,-1140.9482C3187.9152,-1146.4964 3178,-1154.8636 3178,-1167 3178,-1214 3178,-1214 3178,-1214 3178,-1216.4596 3178.2944,-1218.9524 3178.7979,-1221.417"/>
<polygon fill="#000000" stroke="#000000" points="3175.5336,-1222.7089 3181.8256,-1231.233 3182.2226,-1220.6456 3175.5336,-1222.7089"/>
<text text-anchor="start" x="3178" y="-1187.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">edit_done &#160;&#160;</text>
</g>
<!-- _P_Time_Increasing&#45;&gt;_P_Time_Editing -->
<g id="edge6" class="edge">
<title>_P_Time_Increasing&#45;&gt;_P_Time_Editing</title>
<path fill="none" stroke="#000000" d="M3230.5989,-1239.9339C3251.8672,-1233.495 3274,-1224.3161 3274,-1214 3274,-1214 3274,-1214 3274,-1167 3274,-1159.8834 3270.5067,-1153.9932 3265.4455,-1149.1939"/>
<polygon fill="#000000" stroke="#000000" points="3267.2246,-1146.152 3257.1325,-1142.9272 3263.0108,-1151.7417 3267.2246,-1146.152"/>
<text text-anchor="start" x="3274" y="-1187.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">time_edit &#160;&#160;</text>
</g>
<!-- _P_Time_Increasing&#45;&gt;_P_Time_Increasing -->
<g id="edge4" class="edge">
<title>_P_Time_Increasing&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3230.6945,-1251.9362C3242.8838,-1251.899 3252.5,-1251.0869 3252.5,-1249.5 3252.5,-1248.409 3247.9548,-1247.6842 3241.1532,-1247.3257"/>
<polygon fill="#000000" stroke="#000000" points="3240.779,-1243.8153 3230.6945,-1247.0638 3240.6037,-1250.8132 3240.779,-1243.8153"/>
<text text-anchor="start" x="3252.5" y="-1246.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s) [INSTATE([&quot;/P/Alarm/On&quot;])]^out.increaseTimeByOne ^out.checkTime ^int_refresh_time &#160;&#160;</text>
</g>
<!-- _P_Time_Increasing&#45;&gt;_P_Time_Increasing -->
<g id="edge5" class="edge">
<title>_P_Time_Increasing&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3230.8713,-1251.9782C3349.2391,-1255.8549 3688.713,-1255.0288 3688.713,-1249.5 3688.713,-1244.1224 3367.5502,-1243.1938 3241.0657,-1246.7143"/>
<polygon fill="#000000" stroke="#000000" points="3240.7612,-1243.2218 3230.8713,-1247.0218 3240.9723,-1250.2186 3240.7612,-1243.2218"/>
<text text-anchor="start" x="3688.713" y="-1246.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s)^out.increaseTimeByOne ^int_refresh_time &#160;&#160;</text>
</g>
<!-- _P_Display -->
<!-- _P_Display_initial -->
<g id="node8" class="node">
<title>_P_Display_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2149" cy="-1131.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Display_TimeUpdate -->
<g id="node12" class="node">
<title>_P_Display_TimeUpdate</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2234.5,-1023.5 2063.5,-1023.5 2063.5,-977.5 2234.5,-977.5 2234.5,-1023.5"/>
<text text-anchor="start" x="2116.83" y="-1006.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TimeUpdate</text>
<text text-anchor="start" x="2069.6796" y="-986.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshTimeDisplay</text>
<polygon fill="#000000" stroke="#000000" points="2064,-1000.5 2064,-1000.5 2235,-1000.5 2235,-1000.5 2064,-1000.5"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M2076.5,-978.5C2076.5,-978.5 2221.5,-978.5 2221.5,-978.5 2227.5,-978.5 2233.5,-984.5 2233.5,-990.5 2233.5,-990.5 2233.5,-1010.5 2233.5,-1010.5 2233.5,-1016.5 2227.5,-1022.5 2221.5,-1022.5 2221.5,-1022.5 2076.5,-1022.5 2076.5,-1022.5 2070.5,-1022.5 2064.5,-1016.5 2064.5,-1010.5 2064.5,-1010.5 2064.5,-990.5 2064.5,-990.5 2064.5,-984.5 2070.5,-978.5 2076.5,-978.5"/>
</g>
<!-- _P_Display_initial&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge7" class="edge">
<title>_P_Display_initial&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2149,-1125.869C2149,-1117.577 2149,-1101.5938 2149,-1088 2149,-1088 2149,-1088 2149,-1041 2149,-1038.627 2149,-1036.1757 2149,-1033.7081"/>
<polygon fill="#000000" stroke="#000000" points="2152.5001,-1033.6306 2149,-1023.6306 2145.5001,-1033.6306 2152.5001,-1033.6306"/>
<text text-anchor="middle" x="2150.3895" y="-1061.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Display_ChronoUpdate -->
<g id="node9" class="node">
<title>_P_Display_ChronoUpdate</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1846,-852 1662,-852 1662,-806 1846,-806 1846,-852"/>
<text text-anchor="start" x="1714.9892" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ChronoUpdate</text>
<text text-anchor="start" x="1667.8388" y="-815.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshChronoDisplay</text>
<polygon fill="#000000" stroke="#000000" points="1662,-829 1662,-829 1846,-829 1846,-829 1662,-829"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M1675,-807C1675,-807 1833,-807 1833,-807 1839,-807 1845,-813 1845,-819 1845,-819 1845,-839 1845,-839 1845,-845 1839,-851 1833,-851 1833,-851 1675,-851 1675,-851 1669,-851 1663,-845 1663,-839 1663,-839 1663,-819 1663,-819 1663,-813 1669,-807 1675,-807"/>
</g>
<!-- _P_Display_ChronoUpdate&#45;&gt;_P_Display_ChronoUpdate -->
<g id="edge9" class="edge">
<title>_P_Display_ChronoUpdate&#45;&gt;_P_Display_ChronoUpdate</title>
<path fill="none" stroke="#000000" d="M1846.1419,-836.7401C1859.2225,-835.4882 1868,-832.9082 1868,-829 1868,-826.191 1863.4655,-824.0681 1856.058,-822.6314"/>
<polygon fill="#000000" stroke="#000000" points="1856.5271,-819.163 1846.1419,-821.2599 1855.5681,-826.097 1856.5271,-819.163"/>
<text text-anchor="start" x="1868" y="-826" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_Display_ChronoUpdate&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge8" class="edge">
<title>_P_Display_ChronoUpdate&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M1766.9898,-852.1931C1782.3987,-877.5334 1810.4583,-917.4492 1845.415,-939.5 1879.4654,-960.9792 1977.5885,-978.2051 2053.1562,-988.8024"/>
<polygon fill="#000000" stroke="#000000" points="2052.8054,-992.2872 2063.1905,-990.1895 2053.764,-985.3531 2052.8054,-992.2872"/>
<text text-anchor="start" x="1845" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingForAlarm -->
<g id="node10" class="node">
<title>_P_Display_WaitingForAlarm</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2153,-852 1977,-852 1977,-806 2153,-806 2153,-852"/>
<text text-anchor="start" x="2020.339" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitingForAlarm</text>
<text text-anchor="start" x="1982.8462" y="-815.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshAlarmDisplay</text>
<polygon fill="#000000" stroke="#000000" points="1977,-829 1977,-829 2153,-829 2153,-829 1977,-829"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M1990,-807C1990,-807 2140,-807 2140,-807 2146,-807 2152,-813 2152,-819 2152,-819 2152,-839 2152,-839 2152,-845 2146,-851 2140,-851 2140,-851 1990,-851 1990,-851 1984,-851 1978,-845 1978,-839 1978,-839 1978,-819 1978,-819 1978,-813 1984,-807 1990,-807"/>
</g>
<!-- _P_Display_WaitingForAlarm&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge19" class="edge">
<title>_P_Display_WaitingForAlarm&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2073.389,-852.0585C2078.4788,-868.0866 2084,-890.067 2084,-910 2084,-957 2084,-957 2084,-957 2084,-961.4555 2085.0679,-965.4835 2086.9298,-969.1203"/>
<polygon fill="#000000" stroke="#000000" points="2084.2764,-971.4186 2093.038,-977.3757 2089.9036,-967.2551 2084.2764,-971.4186"/>
<text text-anchor="start" x="2084" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftReleased &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime -->
<!-- _P_Display_WaitingForAlarm&#45;&gt;_P_Display_EditingTime -->
<g id="edge18" class="edge">
<title>_P_Display_WaitingForAlarm&#45;&gt;_P_Display_EditingTime</title>
<path fill="none" stroke="#000000" d="M2036.514,-852.1923C2017.6561,-866.2511 1991.7379,-883.214 1966,-892.5 1905.9779,-914.1554 1723.6694,-880.056 1681,-927.5 1644.588,-967.9864 1679,-995.5483 1679,-1050 1679,-1088 1679,-1088 1679,-1088 1679,-1119.1904 1684,-1126.8096 1684,-1158 1684,-1357.5 1684,-1357.5 1684,-1357.5 1684,-1367.2224 2221.5519,-1375.5797 2470.8053,-1378.9322"/>
<polygon fill="#000000" stroke="#000000" points="2470.9559,-1382.4344 2481.0019,-1379.0687 2471.0497,-1375.4351 2470.9559,-1382.4344"/>
<text text-anchor="start" x="1683" y="-1128.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1500 ms)^alarm_edit &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingToEdit -->
<g id="node11" class="node">
<title>_P_Display_WaitingToEdit</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2417,-847 2321,-847 2321,-811 2417,-811 2417,-847"/>
<text text-anchor="start" x="2331.6638" y="-825.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitingToEdit</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2333.3333,-812C2333.3333,-812 2404.6667,-812 2404.6667,-812 2410.3333,-812 2416,-817.6667 2416,-823.3333 2416,-823.3333 2416,-834.6667 2416,-834.6667 2416,-840.3333 2410.3333,-846 2404.6667,-846 2404.6667,-846 2333.3333,-846 2333.3333,-846 2327.6667,-846 2322,-840.3333 2322,-834.6667 2322,-834.6667 2322,-823.3333 2322,-823.3333 2322,-817.6667 2327.6667,-812 2333.3333,-812"/>
</g>
<!-- _P_Display_WaitingToEdit&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge21" class="edge">
<title>_P_Display_WaitingToEdit&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2369,-847.0159C2369,-863.4306 2369,-888.3438 2369,-910 2369,-957 2369,-957 2369,-957 2369,-970.5257 2304.1771,-982.1847 2244.9052,-990.0183"/>
<polygon fill="#000000" stroke="#000000" points="2244.1565,-986.5858 2234.6877,-991.339 2245.0539,-993.5281 2244.1565,-986.5858"/>
<text text-anchor="start" x="2369" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightReleased &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingToEdit&#45;&gt;_P_Display_EditingTime -->
<g id="edge20" class="edge">
<title>_P_Display_WaitingToEdit&#45;&gt;_P_Display_EditingTime</title>
<path fill="none" stroke="#000000" d="M2391.6055,-847.1121C2410.3771,-861.0606 2438.5869,-879.6191 2471.2156,-890.1761"/>
<polygon fill="#000000" stroke="#000000" points="2470.4211,-893.5906 2481.0025,-893.0564 2472.3975,-886.8754 2470.4211,-893.5906"/>
<text text-anchor="start" x="3021" y="-1128.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1500 ms)^time_edit &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_ChronoUpdate -->
<g id="edge23" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_ChronoUpdate</title>
<path fill="none" stroke="#000000" d="M2063.4479,-996.2837C1935.2026,-989.3855 1708,-974.6708 1708,-957 1708,-957 1708,-957 1708,-910 1708,-892.1881 1716.5148,-874.7095 1726.2176,-860.5744"/>
<polygon fill="#000000" stroke="#000000" points="1729.2464,-862.3633 1732.347,-852.2323 1723.6053,-858.2185 1729.2464,-862.3633"/>
<text text-anchor="start" x="1708" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingForAlarm -->
<g id="edge25" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingForAlarm</title>
<path fill="none" stroke="#000000" d="M2063.4664,-989.6278C2008.7593,-981.4612 1948,-969.5632 1948,-957 1948,-957 1948,-957 1948,-910 1948,-905.4359 1986.9954,-879.1448 2019.9609,-857.7347"/>
<polygon fill="#000000" stroke="#000000" points="2022.1273,-860.5017 2028.6218,-852.1308 2018.3246,-854.6246 2022.1273,-860.5017"/>
<text text-anchor="start" x="1948" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingToEdit -->
<g id="edge24" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingToEdit</title>
<path fill="none" stroke="#000000" d="M2217.1671,-977.4765C2222.5739,-972.0198 2226,-965.291 2226,-957 2226,-957 2226,-957 2226,-910 2226,-868.8352 2271.4181,-848.3424 2311.0619,-838.2958"/>
<polygon fill="#000000" stroke="#000000" points="2312.053,-841.6582 2320.9853,-835.9604 2310.4494,-834.8444 2312.053,-841.6582"/>
<text text-anchor="start" x="2226" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge22" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2234.5979,-1005.6292C2247.6423,-1004.8465 2256.5,-1003.1367 2256.5,-1000.5 2256.5,-998.6461 2252.1209,-997.2504 2244.9864,-996.313"/>
<polygon fill="#000000" stroke="#000000" points="2244.8732,-992.7885 2234.5979,-995.3708 2244.2408,-999.7598 2244.8732,-992.7885"/>
<text text-anchor="start" x="2256.5" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">int_refresh_time &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_initial -->
<g id="node14" class="node">
<title>_P_Display_EditingTime_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2728" cy="-1380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Display_EditingTime_Waiting -->
<g id="node17" class="node">
<title>_P_Display_EditingTime_Waiting</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2758.5,-1149.5 2697.5,-1149.5 2697.5,-1113.5 2758.5,-1113.5 2758.5,-1149.5"/>
<text text-anchor="start" x="2708.5002" y="-1127.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Waiting</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2709.8333,-1114.5C2709.8333,-1114.5 2746.1667,-1114.5 2746.1667,-1114.5 2751.8333,-1114.5 2757.5,-1120.1667 2757.5,-1125.8333 2757.5,-1125.8333 2757.5,-1137.1667 2757.5,-1137.1667 2757.5,-1142.8333 2751.8333,-1148.5 2746.1667,-1148.5 2746.1667,-1148.5 2709.8333,-1148.5 2709.8333,-1148.5 2704.1667,-1148.5 2698.5,-1142.8333 2698.5,-1137.1667 2698.5,-1137.1667 2698.5,-1125.8333 2698.5,-1125.8333 2698.5,-1120.1667 2704.1667,-1114.5 2709.8333,-1114.5"/>
</g>
<!-- _P_Display_EditingTime_initial&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge10" class="edge">
<title>_P_Display_EditingTime_initial&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2728,-1374.8288C2728,-1370.1736 2728,-1363.4097 2728,-1357.5 2728,-1357.5 2728,-1357.5 2728,-1167 2728,-1164.6079 2728,-1162.1252 2728,-1159.6342"/>
<polygon fill="#000000" stroke="#000000" points="2731.5001,-1159.5597 2728,-1149.5598 2724.5001,-1159.5598 2731.5001,-1159.5597"/>
<text text-anchor="middle" x="2729.3895" y="-1246.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Display_EditingTime_Increasing -->
<g id="node15" class="node">
<title>_P_Display_EditingTime_Increasing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2985.5,-852 2822.5,-852 2822.5,-806 2985.5,-806 2985.5,-852"/>
<text text-anchor="start" x="2876.8268" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Increasing</text>
<text text-anchor="start" x="2828.999" y="-815.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.increaseSelection</text>
<polygon fill="#000000" stroke="#000000" points="2823,-829 2823,-829 2986,-829 2986,-829 2823,-829"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M2835.5,-807C2835.5,-807 2972.5,-807 2972.5,-807 2978.5,-807 2984.5,-813 2984.5,-819 2984.5,-819 2984.5,-839 2984.5,-839 2984.5,-845 2978.5,-851 2972.5,-851 2972.5,-851 2835.5,-851 2835.5,-851 2829.5,-851 2823.5,-845 2823.5,-839 2823.5,-839 2823.5,-819 2823.5,-819 2823.5,-813 2829.5,-807 2835.5,-807"/>
</g>
<!-- _P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Increasing -->
<g id="edge11" class="edge">
<title>_P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Increasing</title>
<path fill="none" stroke="#000000" d="M2985.5697,-836.9427C2998.5886,-835.7804 3007.5,-833.1328 3007.5,-829 3007.5,-826.0941 3003.0944,-823.9225 2995.9529,-822.4852"/>
<polygon fill="#000000" stroke="#000000" points="2995.9533,-818.9524 2985.5697,-821.0573 2994.9996,-825.8871 2995.9533,-818.9524"/>
<text text-anchor="start" x="3007.5" y="-826" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms) &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge12" class="edge">
<title>_P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2963.6173,-852.0096C2986.3952,-865.0014 3007,-883.9524 3007,-910 3007,-1088 3007,-1088 3007,-1088 3007,-1115.1808 2788.4908,-1096.0653 2763,-1105.5 2761.0833,-1106.2094 2759.1816,-1107.0584 2757.313,-1108.0096"/>
<polygon fill="#000000" stroke="#000000" points="2755.074,-1105.2735 2748.3303,-1113.4449 2758.6979,-1111.2625 2755.074,-1105.2735"/>
<text text-anchor="start" x="3007" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftReleased &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_GoingToNext -->
<g id="node16" class="node">
<title>_P_Display_EditingTime_GoingToNext</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2683,-847 2591,-847 2591,-811 2683,-811 2683,-847"/>
<text text-anchor="start" x="2601.66" y="-825.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">GoingToNext</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2603.3333,-812C2603.3333,-812 2670.6667,-812 2670.6667,-812 2676.3333,-812 2682,-817.6667 2682,-823.3333 2682,-823.3333 2682,-834.6667 2682,-834.6667 2682,-840.3333 2676.3333,-846 2670.6667,-846 2670.6667,-846 2603.3333,-846 2603.3333,-846 2597.6667,-846 2592,-840.3333 2592,-834.6667 2592,-834.6667 2592,-823.3333 2592,-823.3333 2592,-817.6667 2597.6667,-812 2603.3333,-812"/>
</g>
<!-- _P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge14" class="edge">
<title>_P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2627.2961,-847.0533C2618.6105,-861.4931 2604.5522,-881.1408 2587,-892.5 2560.0775,-909.9234 2517,-877.9314 2517,-910 2517,-957 2517,-957 2517,-957 2517,-970.7054 2353.8988,-985.442 2244.8624,-993.7624"/>
<polygon fill="#000000" stroke="#000000" points="2244.5226,-990.278 2234.8152,-994.5226 2245.0508,-997.258 2244.5226,-990.278"/>
<text text-anchor="start" x="2517" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^edit_done &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge13" class="edge">
<title>_P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2640.991,-847.2349C2645.0312,-870.3668 2648.5749,-910.7077 2632,-939.5 2607.7721,-981.5864 2563.2694,-940.6051 2528.493,-974.5 2509.3639,-993.1443 2511,-1005.288 2511,-1032 2511,-1088 2511,-1088 2511,-1088 2511,-1108.4261 2674.9866,-1098.0357 2694,-1105.5 2695.8157,-1106.2128 2697.6165,-1107.0528 2699.3864,-1107.9864"/>
<polygon fill="#000000" stroke="#000000" points="2697.563,-1110.974 2707.9041,-1113.2791 2701.2576,-1105.0284 2697.563,-1110.974"/>
<text text-anchor="start" x="2528" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightReleased^out.selectNext &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge17" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2708.3515,-1113.3374C2703.9205,-1110.1763 2699.0303,-1107.3224 2694,-1105.5 2674.7564,-1098.5284 2326,-1108.4675 2326,-1088 2326,-1088 2326,-1088 2326,-1041 2326,-1021.9212 2286.4275,-1011.8299 2244.7051,-1006.4924"/>
<polygon fill="#000000" stroke="#000000" points="2244.9914,-1003.0019 2234.6484,-1005.2982 2244.1659,-1009.9531 2244.9914,-1003.0019"/>
<text text-anchor="start" x="2326" y="-1061.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)^edit_done &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_Increasing -->
<g id="edge15" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_Increasing</title>
<path fill="none" stroke="#000000" d="M2749.2323,-1113.2702C2753.5666,-1110.2769 2758.2586,-1107.5034 2763,-1105.5 2785.3959,-1096.037 2871,-1112.313 2871,-1088 2871,-1088 2871,-1088 2871,-910 2871,-893.0595 2877.2672,-875.501 2884.3391,-861.0804"/>
<polygon fill="#000000" stroke="#000000" points="2887.5059,-862.5776 2889.0449,-852.0952 2881.3048,-859.33 2887.5059,-862.5776"/>
<text text-anchor="start" x="2871" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_GoingToNext -->
<g id="edge16" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_GoingToNext</title>
<path fill="none" stroke="#000000" d="M2728,-1113.2983C2728,-1105.507 2728,-1096.3073 2728,-1088 2728,-1088 2728,-1088 2728,-910 2728,-884.9043 2708.4515,-865.6712 2687.4753,-852.2574"/>
<polygon fill="#000000" stroke="#000000" points="2689.1487,-849.1798 2678.7713,-847.0442 2685.5519,-855.1851 2689.1487,-849.1798"/>
<text text-anchor="start" x="2728" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper -->
<!-- _P_ChronoWrapper_initial -->
<g id="node19" class="node">
<title>_P_ChronoWrapper_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1080" cy="-1380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono -->
<!-- _P_ChronoWrapper_initial&#45;&gt;_P_ChronoWrapper_Chrono -->
<g id="edge26" class="edge">
<title>_P_ChronoWrapper_initial&#45;&gt;_P_ChronoWrapper_Chrono</title>
<path fill="none" stroke="#000000" d="M1080,-1374.8288C1080,-1370.1736 1080,-1363.4097 1080,-1357.5 1080,-1357.5 1080,-1357.5 1080,-1310.5 1080,-1308.1116 1080,-1305.6707 1080,-1303.2049"/>
<polygon fill="#000000" stroke="#000000" points="1083.5001,-1302.9997 1080,-1292.9997 1076.5001,-1302.9997 1083.5001,-1302.9997"/>
<text text-anchor="middle" x="1081.3895" y="-1331" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ChronoWrapper_Chrono_Stopped -->
<g id="node23" class="node">
<title>_P_ChronoWrapper_Chrono_Stopped</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1247,-1018.5 1181,-1018.5 1181,-982.5 1247,-982.5 1247,-1018.5"/>
<text text-anchor="start" x="1191.6542" y="-996.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Stopped</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1193.3333,-983.5C1193.3333,-983.5 1234.6667,-983.5 1234.6667,-983.5 1240.3333,-983.5 1246,-989.1667 1246,-994.8333 1246,-994.8333 1246,-1006.1667 1246,-1006.1667 1246,-1011.8333 1240.3333,-1017.5 1234.6667,-1017.5 1234.6667,-1017.5 1193.3333,-1017.5 1193.3333,-1017.5 1187.6667,-1017.5 1182,-1011.8333 1182,-1006.1667 1182,-1006.1667 1182,-994.8333 1182,-994.8333 1182,-989.1667 1187.6667,-983.5 1193.3333,-983.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge31" class="edge">
<title>_P_ChronoWrapper_Chrono&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1080,-1249.4429C1080,-1248.2712 1080,-1229.2847 1080,-1214 1080,-1214 1080,-1214 1080,-1041 1080,-1021.7022 1131.5671,-1010.7614 1170.7224,-1005.2356"/>
<polygon fill="#000000" stroke="#000000" points="1171.4267,-1008.6727 1180.8764,-1003.8818 1170.5015,-1001.7341 1171.4267,-1008.6727"/>
<text text-anchor="start" x="1080" y="-1128.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])]^out.resetChrono ^int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_initial -->
<g id="node21" class="node">
<title>_P_ChronoWrapper_Chrono_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1566" cy="-1249.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono_initial&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge27" class="edge">
<title>_P_ChronoWrapper_Chrono_initial&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1566,-1243.9659C1566,-1236.982 1566,-1224.6007 1566,-1214 1566,-1214 1566,-1214 1566,-1041 1566,-1010.2425 1351.151,-1002.8243 1257.1587,-1001.0507"/>
<polygon fill="#000000" stroke="#000000" points="1257.1753,-997.5505 1247.1153,-1000.8741 1257.0522,-1004.5495 1257.1753,-997.5505"/>
<text text-anchor="middle" x="1567.3895" y="-1128.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ChronoWrapper_Chrono_Running -->
<g id="node22" class="node">
<title>_P_ChronoWrapper_Chrono_Running</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1201,-708 1135,-708 1135,-672 1201,-672 1201,-708"/>
<text text-anchor="start" x="1145.6602" y="-686.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Running</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1147.3333,-673C1147.3333,-673 1188.6667,-673 1188.6667,-673 1194.3333,-673 1200,-678.6667 1200,-684.3333 1200,-684.3333 1200,-695.6667 1200,-695.6667 1200,-701.3333 1194.3333,-707 1188.6667,-707 1188.6667,-707 1147.3333,-707 1147.3333,-707 1141.6667,-707 1136,-701.3333 1136,-695.6667 1136,-695.6667 1136,-684.3333 1136,-684.3333 1136,-678.6667 1141.6667,-673 1147.3333,-673"/>
</g>
<!-- _P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Running -->
<g id="edge28" class="edge">
<title>_P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Running</title>
<path fill="none" stroke="#000000" d="M1201.0221,-694.8676C1213.1032,-694.9995 1223,-693.377 1223,-690 1223,-687.6783 1218.3222,-686.1859 1211.4728,-685.5228"/>
<polygon fill="#000000" stroke="#000000" points="1211.1458,-682.0082 1201.0221,-685.1324 1210.8845,-689.0033 1211.1458,-682.0082"/>
<text text-anchor="start" x="1223" y="-687" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(10 ms)^out.increaseChronoByOne ^int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge29" class="edge">
<title>_P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1134.8703,-691.4601C1091.7942,-694.2812 1022,-702.4141 1022,-725.5 1022,-957 1022,-957 1022,-957 1022,-972.1627 1114.2568,-987.2062 1170.8685,-995.0101"/>
<polygon fill="#000000" stroke="#000000" points="1170.6147,-998.5076 1180.994,-996.3814 1171.5542,-991.5709 1170.6147,-998.5076"/>
<text text-anchor="start" x="1022" y="-826" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_Stopped&#45;&gt;_P_ChronoWrapper_Chrono_Running -->
<g id="edge30" class="edge">
<title>_P_ChronoWrapper_Chrono_Stopped&#45;&gt;_P_ChronoWrapper_Chrono_Running</title>
<path fill="none" stroke="#000000" d="M1247.1236,-996.4191C1286.8048,-990.5846 1348,-978.157 1348,-957 1348,-957 1348,-957 1348,-725.5 1348,-711.6145 1264.4857,-700.1744 1211.229,-694.2908"/>
<polygon fill="#000000" stroke="#000000" points="1211.3325,-690.7817 1201.0148,-693.189 1210.5817,-697.7413 1211.3325,-690.7817"/>
<text text-anchor="start" x="1348" y="-826" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Indiglo -->
<!-- _P_Indiglo_initial -->
<g id="node25" class="node">
<title>_P_Indiglo_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="755" cy="-1380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Indiglo_Off -->
<g id="node28" class="node">
<title>_P_Indiglo_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="783,-1267.5 727,-1267.5 727,-1231.5 783,-1231.5 783,-1267.5"/>
<text text-anchor="start" x="746.9978" y="-1245.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M739.3333,-1232.5C739.3333,-1232.5 770.6667,-1232.5 770.6667,-1232.5 776.3333,-1232.5 782,-1238.1667 782,-1243.8333 782,-1243.8333 782,-1255.1667 782,-1255.1667 782,-1260.8333 776.3333,-1266.5 770.6667,-1266.5 770.6667,-1266.5 739.3333,-1266.5 739.3333,-1266.5 733.6667,-1266.5 728,-1260.8333 728,-1255.1667 728,-1255.1667 728,-1243.8333 728,-1243.8333 728,-1238.1667 733.6667,-1232.5 739.3333,-1232.5"/>
</g>
<!-- _P_Indiglo_initial&#45;&gt;_P_Indiglo_Off -->
<g id="edge32" class="edge">
<title>_P_Indiglo_initial&#45;&gt;_P_Indiglo_Off</title>
<path fill="none" stroke="#000000" d="M755,-1374.8288C755,-1370.1736 755,-1363.4097 755,-1357.5 755,-1357.5 755,-1357.5 755,-1310.5 755,-1299.8104 755,-1288.0672 755,-1277.763"/>
<polygon fill="#000000" stroke="#000000" points="758.5001,-1277.6503 755,-1267.6503 751.5001,-1277.6504 758.5001,-1277.6503"/>
<text text-anchor="middle" x="756.3895" y="-1331" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Indiglo_Released -->
<g id="node26" class="node">
<title>_P_Indiglo_Released</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="790,-1018.5 718,-1018.5 718,-982.5 790,-982.5 790,-1018.5"/>
<text text-anchor="start" x="728.6602" y="-996.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Released</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M730.3333,-983.5C730.3333,-983.5 777.6667,-983.5 777.6667,-983.5 783.3333,-983.5 789,-989.1667 789,-994.8333 789,-994.8333 789,-1006.1667 789,-1006.1667 789,-1011.8333 783.3333,-1017.5 777.6667,-1017.5 777.6667,-1017.5 730.3333,-1017.5 730.3333,-1017.5 724.6667,-1017.5 719,-1011.8333 719,-1006.1667 719,-1006.1667 719,-994.8333 719,-994.8333 719,-989.1667 724.6667,-983.5 730.3333,-983.5"/>
</g>
<!-- _P_Indiglo_Pushed -->
<g id="node27" class="node">
<title>_P_Indiglo_Pushed</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="938,-1149.5 876,-1149.5 876,-1113.5 938,-1113.5 938,-1149.5"/>
<text text-anchor="start" x="886.657" y="-1127.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Pushed</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M888.3333,-1114.5C888.3333,-1114.5 925.6667,-1114.5 925.6667,-1114.5 931.3333,-1114.5 937,-1120.1667 937,-1125.8333 937,-1125.8333 937,-1137.1667 937,-1137.1667 937,-1142.8333 931.3333,-1148.5 925.6667,-1148.5 925.6667,-1148.5 888.3333,-1148.5 888.3333,-1148.5 882.6667,-1148.5 877,-1142.8333 877,-1137.1667 877,-1137.1667 877,-1125.8333 877,-1125.8333 877,-1120.1667 882.6667,-1114.5 888.3333,-1114.5"/>
</g>
<!-- _P_Indiglo_Released&#45;&gt;_P_Indiglo_Pushed -->
<g id="edge33" class="edge">
<title>_P_Indiglo_Released&#45;&gt;_P_Indiglo_Pushed</title>
<path fill="none" stroke="#000000" d="M790.0696,-1004.4289C829.1523,-1009.7148 886,-1020.8643 886,-1041 886,-1088 886,-1088 886,-1088 886,-1093.4169 887.337,-1098.8696 889.3362,-1103.9953"/>
<polygon fill="#000000" stroke="#000000" points="886.3425,-1105.8472 893.8196,-1113.3534 892.6554,-1102.8227 886.3425,-1105.8472"/>
<text text-anchor="start" x="886" y="-1061.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Released&#45;&gt;_P_Indiglo_Off -->
<g id="edge34" class="edge">
<title>_P_Indiglo_Released&#45;&gt;_P_Indiglo_Off</title>
<path fill="none" stroke="#000000" d="M743.0843,-1018.5748C737.0345,-1029.6657 730.1206,-1044.4021 727,-1058.5 717.4382,-1101.6967 730,-1113.7577 730,-1158 730,-1214 730,-1214 730,-1214 730,-1216.8009 730.5267,-1219.5366 731.4271,-1222.1669"/>
<polygon fill="#000000" stroke="#000000" points="728.366,-1223.8679 736.0518,-1231.1603 734.5912,-1220.6666 728.366,-1223.8679"/>
<text text-anchor="start" x="729" y="-1128.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^out.unsetIndiglo &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Pushed&#45;&gt;_P_Indiglo_Released -->
<g id="edge35" class="edge">
<title>_P_Indiglo_Pushed&#45;&gt;_P_Indiglo_Released</title>
<path fill="none" stroke="#000000" d="M877.2225,-1113.4153C871.339,-1110.4087 865.0952,-1107.5931 859,-1105.5 836.6272,-1097.8171 754,-1111.6552 754,-1088 754,-1088 754,-1088 754,-1041 754,-1037.1152 754,-1033.0209 754,-1028.9883"/>
<polygon fill="#000000" stroke="#000000" points="757.5001,-1028.6447 754,-1018.6447 750.5001,-1028.6448 757.5001,-1028.6447"/>
<text text-anchor="start" x="754" y="-1061.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightReleased &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Off&#45;&gt;_P_Indiglo_Pushed -->
<g id="edge36" class="edge">
<title>_P_Indiglo_Off&#45;&gt;_P_Indiglo_Pushed</title>
<path fill="none" stroke="#000000" d="M783.4422,-1236.8031C791.4387,-1231.2152 798,-1223.6807 798,-1214 798,-1214 798,-1214 798,-1167 798,-1138.7953 832.2189,-1158.3475 859,-1149.5 861.4032,-1148.7061 863.8648,-1147.8664 866.3421,-1147.001"/>
<polygon fill="#000000" stroke="#000000" points="867.6544,-1150.2487 875.8852,-1143.5775 865.2907,-1143.6598 867.6544,-1150.2487"/>
<text text-anchor="start" x="798" y="-1187.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed^out.setIndiglo &#160;&#160;</text>
</g>
<!-- _P_Alarm -->
<!-- _P_Alarm_initial -->
<g id="node30" class="node">
<title>_P_Alarm_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="678" cy="-829" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_Off -->
<g id="node31" class="node">
<title>_P_Alarm_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="518,-708 462,-708 462,-672 518,-672 518,-708"/>
<text text-anchor="start" x="481.9978" y="-686.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M474.3333,-673C474.3333,-673 505.6667,-673 505.6667,-673 511.3333,-673 517,-678.6667 517,-684.3333 517,-684.3333 517,-695.6667 517,-695.6667 517,-701.3333 511.3333,-707 505.6667,-707 505.6667,-707 474.3333,-707 474.3333,-707 468.6667,-707 463,-701.3333 463,-695.6667 463,-695.6667 463,-684.3333 463,-684.3333 463,-678.6667 468.6667,-673 474.3333,-673"/>
</g>
<!-- _P_Alarm_initial&#45;&gt;_P_Alarm_Off -->
<g id="edge37" class="edge">
<title>_P_Alarm_initial&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M678.4954,-823.3917C679.3475,-813.2459 681,-791.1634 681,-772.5 681,-772.5 681,-772.5 681,-725.5 681,-710.1325 584.1929,-698.6532 528.4184,-693.3148"/>
<polygon fill="#000000" stroke="#000000" points="528.4646,-689.804 518.1827,-692.3597 527.8143,-696.7737 528.4646,-689.804"/>
<text text-anchor="middle" x="682.3895" y="-746" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On -->
<!-- _P_Alarm_Off&#45;&gt;_P_Alarm_On -->
<g id="edge49" class="edge">
<title>_P_Alarm_Off&#45;&gt;_P_Alarm_On</title>
<path fill="none" stroke="#000000" d="M518.1503,-691.1497C560.5762,-693.6613 636,-701.5011 636,-725.5 636,-919 636,-919 636,-919 636,-1038.4688 420,-959.5312 420,-1079 420,-1357.5 420,-1357.5 420,-1357.5 420,-1371.4501 316.0042,-1378.1742 282.3629,-1379.9844"/>
<polygon fill="#000000" stroke="#000000" points="289.0343,-1374.9606 280,-1380.4953 290.5139,-1381.8025 289.0343,-1374.9606"/>
<text text-anchor="start" x="422" y="-1061.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/TimeUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_initial -->
<g id="node33" class="node">
<title>_P_Alarm_On_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="224" cy="-1380.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_On_NotBlinking -->
<g id="node34" class="node">
<title>_P_Alarm_On_NotBlinking</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="265,-1149.5 183,-1149.5 183,-1113.5 265,-1113.5 265,-1149.5"/>
<text text-anchor="start" x="193.664" y="-1127.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NotBlinking</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M195.3333,-1114.5C195.3333,-1114.5 252.6667,-1114.5 252.6667,-1114.5 258.3333,-1114.5 264,-1120.1667 264,-1125.8333 264,-1125.8333 264,-1137.1667 264,-1137.1667 264,-1142.8333 258.3333,-1148.5 252.6667,-1148.5 252.6667,-1148.5 195.3333,-1148.5 195.3333,-1148.5 189.6667,-1148.5 184,-1142.8333 184,-1137.1667 184,-1137.1667 184,-1125.8333 184,-1125.8333 184,-1120.1667 189.6667,-1114.5 195.3333,-1114.5"/>
</g>
<!-- _P_Alarm_On_initial&#45;&gt;_P_Alarm_On_NotBlinking -->
<g id="edge38" class="edge">
<title>_P_Alarm_On_initial&#45;&gt;_P_Alarm_On_NotBlinking</title>
<path fill="none" stroke="#000000" d="M224,-1374.8288C224,-1370.1736 224,-1363.4097 224,-1357.5 224,-1357.5 224,-1357.5 224,-1167 224,-1164.6079 224,-1162.1252 224,-1159.6342"/>
<polygon fill="#000000" stroke="#000000" points="227.5001,-1159.5597 224,-1149.5598 220.5001,-1159.5598 227.5001,-1159.5597"/>
<text text-anchor="middle" x="225.3895" y="-1246.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_Off -->
<g id="edge48" class="edge">
<title>_P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M252.393,-1113.3487C257.7665,-1110.4217 263.4472,-1107.6514 269,-1105.5 285.969,-1098.9254 349,-1106.1982 349,-1088 349,-1088 349,-1088 349,-948 349,-809.3832 532.2223,-879.0892 594,-755 609.3301,-724.2073 563.8943,-706.3932 528.282,-697.44"/>
<polygon fill="#000000" stroke="#000000" points="528.6266,-693.9256 518.0909,-695.0437 527.0243,-700.7398 528.6266,-693.9256"/>
<text text-anchor="start" x="350" y="-930.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/TimeUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking -->
<!-- _P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_On_Blinking -->
<g id="edge47" class="edge">
<title>_P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_On_Blinking</title>
<path fill="none" stroke="#000000" d="M182.7232,-1121.0819C155.9405,-1113.0708 126,-1101.1699 126,-1088 126,-1088 126,-1088 126,-910 126,-907.3627 126.2087,-904.8007 126.6077,-902.3125"/>
<polygon fill="#000000" stroke="#000000" points="130.0305,-903.0632 129.2729,-892.4954 123.275,-901.229 130.0305,-903.0632"/>
<text text-anchor="start" x="126" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">alarmStart &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge42" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9977,-710.6005C316.1201,-699.8716 401.9202,-694.1804 451.7102,-691.6558"/>
<polygon fill="#000000" stroke="#000000" points="451.9635,-695.1477 461.7807,-691.1635 451.6217,-688.1561 451.9635,-695.1477"/>
<text text-anchor="start" x="244" y="-746" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge43" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9973,-782.4179C312.0354,-782.4534 370,-793.8455 370,-772.5 370,-772.5 370,-772.5 370,-725.5 370,-708.1484 416.7183,-698.6292 451.8548,-693.9236"/>
<polygon fill="#000000" stroke="#000000" points="452.3787,-697.3853 461.8653,-692.6679 451.5074,-690.4398 452.3787,-697.3853"/>
<text text-anchor="start" x="370" y="-746" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge44" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9974,-783.4133C341.6996,-780.2487 490,-794.9527 490,-772.5 490,-772.5 490,-772.5 490,-725.5 490,-723.1079 490,-720.6252 490,-718.1342"/>
<polygon fill="#000000" stroke="#000000" points="493.5001,-718.0597 490,-708.0598 486.5001,-718.0598 493.5001,-718.0597"/>
<text text-anchor="start" x="490" y="-746" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge45" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9984,-709.1756C338.462,-703.1824 409.3772,-696.9862 451.6737,-693.3145"/>
<polygon fill="#000000" stroke="#000000" points="452.2505,-696.7777 461.9106,-692.4267 451.6456,-689.8039 452.2505,-696.7777"/>
<text text-anchor="start" x="108" y="-746" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_On_NotBlinking -->
<g id="edge46" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_On_NotBlinking</title>
<path fill="none" stroke="#000000" d="M224.6619,-892.4977C224.2464,-898.403 224,-904.3057 224,-910 224,-1088 224,-1088 224,-1088 224,-1092.9325 224,-1098.1795 224,-1103.2596"/>
<polygon fill="#000000" stroke="#000000" points="220.5001,-1103.2983 224,-1113.2983 227.5001,-1103.2984 220.5001,-1103.2983"/>
<text text-anchor="start" x="224" y="-997.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(4 s) &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking_initial -->
<g id="node36" class="node">
<title>_P_Alarm_On_Blinking_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="68" cy="-829" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_On_Blinking_On -->
<g id="node38" class="node">
<title>_P_Alarm_On_Blinking_On</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="181.5,-430 62.5,-430 62.5,-384 181.5,-384 181.5,-430"/>
<text text-anchor="start" x="114.4972" y="-413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">On</text>
<text text-anchor="start" x="68.668" y="-393.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.setIndiglo</text>
<polygon fill="#000000" stroke="#000000" points="63,-407 63,-407 182,-407 182,-407 63,-407"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.5,-385C75.5,-385 168.5,-385 168.5,-385 174.5,-385 180.5,-391 180.5,-397 180.5,-397 180.5,-417 180.5,-417 180.5,-423 174.5,-429 168.5,-429 168.5,-429 75.5,-429 75.5,-429 69.5,-429 63.5,-423 63.5,-417 63.5,-417 63.5,-397 63.5,-397 63.5,-391 69.5,-385 75.5,-385"/>
</g>
<!-- _P_Alarm_On_Blinking_initial&#45;&gt;_P_Alarm_On_Blinking_On -->
<g id="edge39" class="edge">
<title>_P_Alarm_On_Blinking_initial&#45;&gt;_P_Alarm_On_Blinking_On</title>
<path fill="none" stroke="#000000" d="M67.7183,-823.1507C67.1098,-809.2377 65.8898,-773.0858 68,-743 71.5643,-692.1816 84,-680.4432 84,-629.5 84,-629.5 84,-629.5 84,-447.5 84,-444.6165 84.5186,-441.8541 85.4346,-439.2237"/>
<polygon fill="#000000" stroke="#000000" points="88.5853,-440.7556 90.2749,-430.2964 82.4316,-437.4191 88.5853,-440.7556"/>
<text text-anchor="middle" x="85.3895" y="-576" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On_Blinking_Off -->
<g id="node37" class="node">
<title>_P_Alarm_On_Blinking_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="228.5,-86 95.5,-86 95.5,-40 228.5,-40 228.5,-86"/>
<text text-anchor="start" x="154.4978" y="-69.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<text text-anchor="start" x="101.9972" y="-49.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.unsetIndiglo</text>
<polygon fill="#000000" stroke="#000000" points="96,-63 96,-63 229,-63 229,-63 96,-63"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M108.5,-41C108.5,-41 215.5,-41 215.5,-41 221.5,-41 227.5,-47 227.5,-53 227.5,-53 227.5,-73 227.5,-73 227.5,-79 221.5,-85 215.5,-85 215.5,-85 108.5,-85 108.5,-85 102.5,-85 96.5,-79 96.5,-73 96.5,-73 96.5,-53 96.5,-53 96.5,-47 102.5,-41 108.5,-41"/>
</g>
<!-- _P_Alarm_On_Blinking_Off&#45;&gt;_P_Alarm_On_Blinking_On -->
<g id="edge40" class="edge">
<title>_P_Alarm_On_Blinking_Off&#45;&gt;_P_Alarm_On_Blinking_On</title>
<path fill="none" stroke="#000000" d="M95.1755,-81.4962C88.4287,-87.021 84,-94.1924 84,-103.5 84,-366.5 84,-366.5 84,-366.5 84,-369.3835 84.5186,-372.1459 85.4346,-374.7763"/>
<polygon fill="#000000" stroke="#000000" points="82.4316,-376.5809 90.2749,-383.7036 88.5853,-373.2444 82.4316,-376.5809"/>
<text text-anchor="start" x="84" y="-232" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(500 ms) &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking_On&#45;&gt;_P_Alarm_On_Blinking_Off -->
<g id="edge41" class="edge">
<title>_P_Alarm_On_Blinking_On&#45;&gt;_P_Alarm_On_Blinking_Off</title>
<path fill="none" stroke="#000000" d="M181.7321,-390.6511C190.1465,-384.8617 196,-377.0447 196,-366.5 196,-366.5 196,-366.5 196,-103.5 196,-100.6713 195.5074,-97.9368 194.6409,-95.3148"/>
<polygon fill="#000000" stroke="#000000" points="197.7316,-93.671 190.0777,-86.3452 191.4926,-96.8451 197.7316,-93.671"/>
<text text-anchor="start" x="196" y="-232" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(500 ms) &#160;&#160;</text>
</g>
</g>
</svg>