fault_tolerance/fault_tolerance-zoomed.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 8.0.4 (20230421.1958)
 -->
<!-- Title: fault_tolerance&#45;zoomed Pages: 1 -->
<svg width="2327pt" height="825pt"
 viewBox="0.00 0.00 2327.00 825.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 821)">
<title>fault_tolerance&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-821 2323,-821 2323,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-8 8,-84.5 164,-84.5 164,-8 8,-8"/>
<text text-anchor="middle" x="86" y="-67.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="2223,-8 2223,-84.5 2311,-84.5 2311,-8 2223,-8"/>
<text text-anchor="middle" x="2267" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/fault_tolerance</title>
<polygon fill="none" stroke="black" points="172,-8 172,-809 2215,-809 2215,-8 172,-8"/>
<text text-anchor="middle" x="1193.5" y="-791.7" font-family="Times,serif" font-size="14.00">NASALib/fault_tolerance</text>
</g>
<!-- NASALib/fault_tolerance@abs_props -->
<g id="node1" class="node">
<title>NASALib/fault_tolerance@abs_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1603" cy="-110.5" rx="48.28" ry="18"/>
<text text-anchor="middle" x="1603" y="-105.45" font-family="Times,serif" font-size="14.00">abs_props</text>
</g>
<!-- NASALib/fault_tolerance@minmax_ineq -->
<g id="node39" class="node">
<title>NASALib/fault_tolerance@minmax_ineq</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1603" cy="-34" rx="62.61" ry="18"/>
<text text-anchor="middle" x="1603" y="-28.95" font-family="Times,serif" font-size="14.00">minmax_ineq</text>
</g>
<!-- NASALib/fault_tolerance@abs_props&#45;&gt;NASALib/fault_tolerance@minmax_ineq -->
<g id="edge1" class="edge">
<title>NASALib/fault_tolerance@abs_props&#45;&gt;NASALib/fault_tolerance@minmax_ineq</title>
<path fill="none" stroke="black" d="M1603,-92.22C1603,-83.63 1603,-73.03 1603,-63.3"/>
<polygon fill="black" stroke="black" points="1606.5,-63.44 1603,-53.44 1599.5,-63.44 1606.5,-63.44"/>
</g>
<!-- NASALib/fault_tolerance@bounded_ints -->
<g id="node2" class="node">
<title>NASALib/fault_tolerance@bounded_ints</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1046" cy="-182.5" rx="60.56" ry="18"/>
<text text-anchor="middle" x="1046" y="-177.45" font-family="Times,serif" font-size="14.00">bounded_ints</text>
</g>
<!-- NASALib/reals -->
<g id="node71" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="70,-52 16,-52 16,-16 70,-16 70,-52"/>
<text text-anchor="middle" x="43" y="-28.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/fault_tolerance@bounded_ints&#45;&gt;NASALib/reals -->
<g id="edge2" class="edge">
<title>NASALib/fault_tolerance@bounded_ints&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M991.07,-174.68C952.95,-169.95 909,-164.5 909,-164.5 909,-164.5 397,-128.5 397,-128.5 397,-128.5 311,-92.5 311,-92.5 311,-92.5 79,-84.5 79,-84.5 79,-84.5 70.56,-72.9 61.86,-60.93"/>
<polygon fill="black" stroke="black" points="64.3,-59.34 55.59,-53.31 58.64,-63.46 64.3,-59.34"/>
</g>
<!-- NASALib/fault_tolerance@clock_minmax -->
<g id="node3" class="node">
<title>NASALib/fault_tolerance@clock_minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2044" cy="-254.5" rx="66.71" ry="18"/>
<text text-anchor="middle" x="2044" y="-249.45" font-family="Times,serif" font-size="14.00">clock_minmax</text>
</g>
<!-- NASALib/fault_tolerance@function_image_nonempty -->
<g id="node19" class="node">
<title>NASALib/fault_tolerance@function_image_nonempty</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2096" cy="-182.5" rx="111.23" ry="18"/>
<text text-anchor="middle" x="2096" y="-177.45" font-family="Times,serif" font-size="14.00">function_image_nonempty</text>
</g>
<!-- NASALib/fault_tolerance@clock_minmax&#45;&gt;NASALib/fault_tolerance@function_image_nonempty -->
<g id="edge3" class="edge">
<title>NASALib/fault_tolerance@clock_minmax&#45;&gt;NASALib/fault_tolerance@function_image_nonempty</title>
<path fill="none" stroke="black" d="M2056.59,-236.55C2062.63,-228.42 2070,-218.5 2076.73,-209.44"/>
<polygon fill="black" stroke="black" points="2080.01,-211.89 2083.17,-201.78 2074.39,-207.72 2080.01,-211.89"/>
</g>
<!-- NASALib/fault_tolerance@physical_clocks -->
<g id="node45" class="node">
<title>NASALib/fault_tolerance@physical_clocks</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1641" cy="-182.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="1641" y="-177.45" font-family="Times,serif" font-size="14.00">physical_clocks</text>
</g>
<!-- NASALib/fault_tolerance@clock_minmax&#45;&gt;NASALib/fault_tolerance@physical_clocks -->
<g id="edge4" class="edge">
<title>NASALib/fault_tolerance@clock_minmax&#45;&gt;NASALib/fault_tolerance@physical_clocks</title>
<path fill="none" stroke="black" d="M1993.97,-242.16C1980.22,-239.04 1969,-236.5 1969,-236.5 1969,-236.5 1720,-200.5 1720,-200.5 1720,-200.5 1713.36,-199.07 1703.93,-197.04"/>
<polygon fill="black" stroke="black" points="1704.77,-193.43 1694.25,-194.74 1703.29,-200.27 1704.77,-193.43"/>
</g>
<!-- lib/finite_sets -->
<g id="node73" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="2302.75,-52 2231.25,-52 2231.25,-16 2302.75,-16 2302.75,-52"/>
<text text-anchor="middle" x="2267" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/fault_tolerance@clock_minmax&#45;&gt;lib/finite_sets -->
<g id="edge5" class="edge">
<title>NASALib/fault_tolerance@clock_minmax&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M2086.52,-240.4C2137.45,-224.7 2216,-200.5 2216,-200.5 2216,-200.5 2235,-183.5 2235,-183.5"/>
</g>
<!-- NASALib/fault_tolerance@clock_shift -->
<g id="node4" class="node">
<title>NASALib/fault_tolerance@clock_shift</title>
<ellipse fill="#e6f3ff" stroke="black" cx="832" cy="-326.5" rx="51.86" ry="18"/>
<text text-anchor="middle" x="832" y="-321.45" font-family="Times,serif" font-size="14.00">clock_shift</text>
</g>
<!-- NASALib/fault_tolerance@inverse_clocks -->
<g id="node26" class="node">
<title>NASALib/fault_tolerance@inverse_clocks</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1046" cy="-254.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="1046" y="-249.45" font-family="Times,serif" font-size="14.00">inverse_clocks</text>
</g>
<!-- NASALib/fault_tolerance@clock_shift&#45;&gt;NASALib/fault_tolerance@inverse_clocks -->
<g id="edge6" class="edge">
<title>NASALib/fault_tolerance@clock_shift&#45;&gt;NASALib/fault_tolerance@inverse_clocks</title>
<path fill="none" stroke="black" d="M868.79,-313.47C903.56,-302.09 956.05,-284.92 994.89,-272.22"/>
<polygon fill="black" stroke="black" points="995.53,-275.36 1003.95,-268.93 993.36,-268.71 995.53,-275.36"/>
</g>
<!-- NASALib/fault_tolerance@comm_integration -->
<g id="node5" class="node">
<title>NASALib/fault_tolerance@comm_integration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1616" cy="-542.5" rx="79.5" ry="18"/>
<text text-anchor="middle" x="1616" y="-537.45" font-family="Times,serif" font-size="14.00">comm_integration</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration_stage -->
<g id="node6" class="node">
<title>NASALib/fault_tolerance@comm_integration_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1889" cy="-470.5" rx="103.04" ry="18"/>
<text text-anchor="middle" x="1889" y="-465.45" font-family="Times,serif" font-size="14.00">comm_integration_stage</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration&#45;&gt;NASALib/fault_tolerance@comm_integration_stage -->
<g id="edge7" class="edge">
<title>NASALib/fault_tolerance@comm_integration&#45;&gt;NASALib/fault_tolerance@comm_integration_stage</title>
<path fill="none" stroke="black" d="M1667.35,-528.33C1711.15,-517.1 1774.42,-500.88 1822.16,-488.64"/>
<polygon fill="black" stroke="black" points="1822.89,-491.81 1831.71,-485.93 1821.15,-485.03 1822.89,-491.81"/>
</g>
<!-- NASALib/fault_tolerance@exact_comm -->
<g id="node10" class="node">
<title>NASALib/fault_tolerance@exact_comm</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1559" cy="-470.5" rx="59.03" ry="18"/>
<text text-anchor="middle" x="1559" y="-465.45" font-family="Times,serif" font-size="14.00">exact_comm</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration&#45;&gt;NASALib/fault_tolerance@exact_comm -->
<g id="edge8" class="edge">
<title>NASALib/fault_tolerance@comm_integration&#45;&gt;NASALib/fault_tolerance@exact_comm</title>
<path fill="none" stroke="black" d="M1602.2,-524.55C1595.41,-516.21 1587.09,-505.99 1579.56,-496.75"/>
<polygon fill="black" stroke="black" points="1581.7,-494.83 1572.67,-489.29 1576.27,-499.25 1581.7,-494.83"/>
</g>
<!-- NASALib/fault_tolerance@exact_comm_stage -->
<g id="node11" class="node">
<title>NASALib/fault_tolerance@exact_comm_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1710" cy="-398.5" rx="82.57" ry="18"/>
<text text-anchor="middle" x="1710" y="-393.45" font-family="Times,serif" font-size="14.00">exact_comm_stage</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage -->
<g id="edge9" class="edge">
<title>NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage</title>
<path fill="none" stroke="black" d="M1848.38,-453.62C1821.83,-443.23 1787,-429.61 1758.93,-418.63"/>
<polygon fill="black" stroke="black" points="1760.51,-415.1 1749.92,-414.72 1757.96,-421.62 1760.51,-415.1"/>
</g>
<!-- NASALib/fault_tolerance@integration_fault_model -->
<g id="node24" class="node">
<title>NASALib/fault_tolerance@integration_fault_model</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1509" cy="-398.5" rx="100.48" ry="18"/>
<text text-anchor="middle" x="1509" y="-393.45" font-family="Times,serif" font-size="14.00">integration_fault_model</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@integration_fault_model -->
<g id="edge10" class="edge">
<title>NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@integration_fault_model</title>
<path fill="none" stroke="black" d="M1820.18,-456.82C1754.81,-444.78 1656.59,-426.69 1588.04,-414.06"/>
<polygon fill="black" stroke="black" points="1588.77,-410.45 1578.3,-412.08 1587.5,-417.34 1588.77,-410.45"/>
</g>
<!-- NASALib/fault_tolerance@message -->
<g id="node35" class="node">
<title>NASALib/fault_tolerance@message</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1853" cy="-398.5" rx="42.65" ry="18"/>
<text text-anchor="middle" x="1853" y="-393.45" font-family="Times,serif" font-size="14.00">message</text>
</g>
<!-- NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@message -->
<g id="edge11" class="edge">
<title>NASALib/fault_tolerance@comm_integration_stage&#45;&gt;NASALib/fault_tolerance@message</title>
<path fill="none" stroke="black" d="M1880.1,-452.2C1876.09,-444.4 1871.26,-435.01 1866.8,-426.33"/>
<polygon fill="black" stroke="black" points="1869.48,-424.9 1861.8,-417.6 1863.26,-428.1 1869.48,-424.9"/>
</g>
<!-- NASALib/fault_tolerance@convergence_top -->
<g id="node7" class="node">
<title>NASALib/fault_tolerance@convergence_top</title>
<ellipse fill="#e6f3ff" stroke="black" cx="548" cy="-614.5" rx="73.87" ry="18"/>
<text text-anchor="middle" x="548" y="-609.45" font-family="Times,serif" font-size="14.00">convergence_top</text>
</g>
<!-- NASALib/fault_tolerance@median_stage -->
<g id="node34" class="node">
<title>NASALib/fault_tolerance@median_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="616" cy="-542.5" rx="62.1" ry="18"/>
<text text-anchor="middle" x="616" y="-537.45" font-family="Times,serif" font-size="14.00">median_stage</text>
</g>
<!-- NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@median_stage -->
<g id="edge12" class="edge">
<title>NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@median_stage</title>
<path fill="none" stroke="black" d="M564.46,-596.55C572.81,-587.96 583.11,-577.36 592.3,-567.9"/>
<polygon fill="black" stroke="black" points="594.23,-570.9 598.69,-561.29 589.21,-566.02 594.23,-570.9"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_stage -->
<g id="node38" class="node">
<title>NASALib/fault_tolerance@middle_third_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="321" cy="-542.5" rx="82.57" ry="18"/>
<text text-anchor="middle" x="321" y="-537.45" font-family="Times,serif" font-size="14.00">middle_third_stage</text>
</g>
<!-- NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@middle_third_stage -->
<g id="edge13" class="edge">
<title>NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@middle_third_stage</title>
<path fill="none" stroke="black" d="M503.42,-599.75C467.39,-588.64 416.44,-572.93 377.54,-560.94"/>
<polygon fill="black" stroke="black" points="379.01,-557.42 368.42,-557.82 376.95,-564.11 379.01,-557.42"/>
</g>
<!-- NASALib/fault_tolerance@weber_stage -->
<g id="node70" class="node">
<title>NASALib/fault_tolerance@weber_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="479" cy="-542.5" rx="56.98" ry="18"/>
<text text-anchor="middle" x="479" y="-537.45" font-family="Times,serif" font-size="14.00">weber_stage</text>
</g>
<!-- NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@weber_stage -->
<g id="edge14" class="edge">
<title>NASALib/fault_tolerance@convergence_top&#45;&gt;NASALib/fault_tolerance@weber_stage</title>
<path fill="none" stroke="black" d="M531.3,-596.55C522.7,-587.83 512.07,-577.04 502.64,-567.48"/>
<polygon fill="black" stroke="black" points="505.59,-565.47 496.07,-560.81 500.6,-570.39 505.59,-565.47"/>
</g>
<!-- NASALib/fault_tolerance@core_top -->
<g id="node8" class="node">
<title>NASALib/fault_tolerance@core_top</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1161" cy="-758.5" rx="43.16" ry="18"/>
<text text-anchor="middle" x="1161" y="-753.45" font-family="Times,serif" font-size="14.00">core_top</text>
</g>
<!-- NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@convergence_top -->
<g id="edge15" class="edge">
<title>NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@convergence_top</title>
<path fill="none" stroke="black" d="M1135.78,-743.57C1107.33,-727.87 1065,-704.5 1065,-704.5 1065,-704.5 1045,-687.5 1045,-687.5"/>
<path fill="none" stroke="black" d="M1045,-685.5C1045,-685.5 759.38,-645.27 621.19,-625.81"/>
<polygon fill="black" stroke="black" points="622.08,-622.26 611.69,-624.33 621.11,-629.19 622.08,-622.26"/>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_integration -->
<g id="node13" class="node">
<title>NASALib/fault_tolerance@exact_reduce_integration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1370" cy="-686.5" rx="104.07" ry="18"/>
<text text-anchor="middle" x="1370" y="-681.45" font-family="Times,serif" font-size="14.00">exact_reduce_integration</text>
</g>
<!-- NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@exact_reduce_integration -->
<g id="edge16" class="edge">
<title>NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@exact_reduce_integration</title>
<path fill="none" stroke="black" d="M1193.66,-746.56C1225.69,-735.83 1275.2,-719.25 1313.61,-706.39"/>
<polygon fill="black" stroke="black" points="1314.25,-709.53 1322.62,-703.04 1312.02,-702.89 1314.25,-709.53"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce -->
<g id="node22" class="node">
<title>NASALib/fault_tolerance@inexact_reduce</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1129" cy="-542.5" rx="66.71" ry="18"/>
<text text-anchor="middle" x="1129" y="-537.45" font-family="Times,serif" font-size="14.00">inexact_reduce</text>
</g>
<!-- NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@inexact_reduce -->
<g id="edge17" class="edge">
<title>NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@inexact_reduce</title>
<path fill="none" stroke="black" d="M1045,-685.5C1045,-685.5 1088.98,-611.16 1113.29,-570.06"/>
<polygon fill="black" stroke="black" points="1116.79,-572.02 1118.87,-561.63 1110.76,-568.45 1116.79,-572.02"/>
</g>
<!-- NASALib/fault_tolerance@majority_integration -->
<g id="node30" class="node">
<title>NASALib/fault_tolerance@majority_integration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1161" cy="-686.5" rx="87.18" ry="18"/>
<text text-anchor="middle" x="1161" y="-681.45" font-family="Times,serif" font-size="14.00">majority_integration</text>
</g>
<!-- NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@majority_integration -->
<g id="edge18" class="edge">
<title>NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@majority_integration</title>
<path fill="none" stroke="black" d="M1161,-740.2C1161,-732.74 1161,-723.82 1161,-715.47"/>
<polygon fill="black" stroke="black" points="1164.5,-715.6 1161,-705.6 1157.5,-715.6 1164.5,-715.6"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch -->
<g id="node53" class="node">
<title>NASALib/fault_tolerance@reduce_synch</title>
<ellipse fill="#e6f3ff" stroke="black" cx="964" cy="-614.5" rx="61.59" ry="18"/>
<text text-anchor="middle" x="964" y="-609.45" font-family="Times,serif" font-size="14.00">reduce_synch</text>
</g>
<!-- NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@reduce_synch -->
<g id="edge19" class="edge">
<title>NASALib/fault_tolerance@core_top&#45;&gt;NASALib/fault_tolerance@reduce_synch</title>
<path fill="none" stroke="black" d="M1045,-685.5C1045,-685.5 1014.98,-659.55 991.49,-639.25"/>
<polygon fill="black" stroke="black" points="994.05,-635.98 984.2,-632.09 989.47,-641.28 994.05,-635.98"/>
</g>
<!-- NASALib/fault_tolerance@event_sequences -->
<g id="node9" class="node">
<title>NASALib/fault_tolerance@event_sequences</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1493" cy="-254.5" rx="72.85" ry="18"/>
<text text-anchor="middle" x="1493" y="-249.45" font-family="Times,serif" font-size="14.00">event_sequences</text>
</g>
<!-- NASALib/fault_tolerance@exact_comm&#45;&gt;NASALib/fault_tolerance@exact_comm_stage -->
<g id="edge20" class="edge">
<title>NASALib/fault_tolerance@exact_comm&#45;&gt;NASALib/fault_tolerance@exact_comm_stage</title>
<path fill="none" stroke="black" d="M1590.29,-455C1612.23,-444.82 1641.86,-431.09 1666.16,-419.82"/>
<polygon fill="black" stroke="black" points="1667.26,-422.71 1674.86,-415.33 1664.32,-416.36 1667.26,-422.71"/>
</g>
<!-- NASALib/fault_tolerance@node_functions -->
<g id="node41" class="node">
<title>NASALib/fault_tolerance@node_functions</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1303" cy="-398.5" rx="67.73" ry="18"/>
<text text-anchor="middle" x="1303" y="-393.45" font-family="Times,serif" font-size="14.00">node_functions</text>
</g>
<!-- NASALib/fault_tolerance@exact_comm&#45;&gt;NASALib/fault_tolerance@node_functions -->
<g id="edge21" class="edge">
<title>NASALib/fault_tolerance@exact_comm&#45;&gt;NASALib/fault_tolerance@node_functions</title>
<path fill="none" stroke="black" d="M1516.15,-457.78C1473.14,-446.02 1406.67,-427.85 1359.4,-414.92"/>
<polygon fill="black" stroke="black" points="1360.59,-411.34 1350.02,-412.08 1358.74,-418.1 1360.59,-411.34"/>
</g>
<!-- NASALib/fault_tolerance@fault_assumptions_stage -->
<g id="node15" class="node">
<title>NASALib/fault_tolerance@fault_assumptions_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1210" cy="-326.5" rx="102.02" ry="18"/>
<text text-anchor="middle" x="1210" y="-321.45" font-family="Times,serif" font-size="14.00">fault_assumptions_stage</text>
</g>
<!-- NASALib/fault_tolerance@exact_comm_stage&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage -->
<g id="edge22" class="edge">
<title>NASALib/fault_tolerance@exact_comm_stage&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage</title>
<path fill="none" stroke="black" d="M1648.38,-386.11C1631.62,-383.02 1618,-380.5 1618,-380.5 1618,-380.5 1326,-344.5 1326,-344.5 1326,-344.5 1313.86,-342.72 1297.44,-340.31"/>
<polygon fill="black" stroke="black" points="1298.13,-336.73 1287.73,-338.74 1297.11,-343.66 1298.13,-336.73"/>
</g>
<!-- NASALib/fault_tolerance@exact_reduce -->
<g id="node12" class="node">
<title>NASALib/fault_tolerance@exact_reduce</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1356" cy="-542.5" rx="59.54" ry="18"/>
<text text-anchor="middle" x="1356" y="-537.45" font-family="Times,serif" font-size="14.00">exact_reduce</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@exact_comm -->
<g id="edge23" class="edge">
<title>NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@exact_comm</title>
<path fill="none" stroke="black" d="M1394.18,-528.33C1427.22,-516.94 1475.14,-500.42 1510.81,-488.12"/>
<polygon fill="black" stroke="black" points="1511.68,-491.18 1519.99,-484.61 1509.39,-484.56 1511.68,-491.18"/>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_stage -->
<g id="node14" class="node">
<title>NASALib/fault_tolerance@exact_reduce_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1399" cy="-470.5" rx="83.08" ry="18"/>
<text text-anchor="middle" x="1399" y="-465.45" font-family="Times,serif" font-size="14.00">exact_reduce_stage</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@exact_reduce_stage -->
<g id="edge24" class="edge">
<title>NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@exact_reduce_stage</title>
<path fill="none" stroke="black" d="M1366.41,-524.55C1371.3,-516.59 1377.25,-506.91 1382.72,-498.01"/>
<polygon fill="black" stroke="black" points="1386.14,-500.13 1388.39,-489.78 1380.17,-496.46 1386.14,-500.13"/>
</g>
<!-- NASALib/fault_tolerance@k_ordered -->
<g id="node27" class="node">
<title>NASALib/fault_tolerance@k_ordered</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1148" cy="-470.5" rx="48.28" ry="18"/>
<text text-anchor="middle" x="1148" y="-465.45" font-family="Times,serif" font-size="14.00">k_ordered</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@k_ordered -->
<g id="edge25" class="edge">
<title>NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@k_ordered</title>
<path fill="none" stroke="black" d="M1317.36,-528.5C1282.14,-516.64 1230.1,-499.13 1193.01,-486.65"/>
<polygon fill="black" stroke="black" points="1194.56,-483.14 1183.97,-483.27 1192.33,-489.78 1194.56,-483.14"/>
</g>
<!-- NASALib/fault_tolerance@protocol -->
<g id="node48" class="node">
<title>NASALib/fault_tolerance@protocol</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1256" cy="-470.5" rx="41.63" ry="18"/>
<text text-anchor="middle" x="1256" y="-465.45" font-family="Times,serif" font-size="14.00">protocol</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@protocol -->
<g id="edge26" class="edge">
<title>NASALib/fault_tolerance@exact_reduce&#45;&gt;NASALib/fault_tolerance@protocol</title>
<path fill="none" stroke="black" d="M1333.31,-525.62C1319.37,-515.86 1301.36,-503.25 1286.22,-492.66"/>
<polygon fill="black" stroke="black" points="1288.43,-489.23 1278.23,-486.36 1284.42,-494.97 1288.43,-489.23"/>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@exact_reduce -->
<g id="edge27" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@exact_reduce</title>
<path fill="none" stroke="black" d="M1368.28,-668.09C1365.91,-644 1361.6,-600.25 1358.76,-571.53"/>
<polygon fill="black" stroke="black" points="1362.15,-571.22 1357.69,-561.61 1355.19,-571.91 1362.15,-571.22"/>
</g>
<!-- NASALib/fault_tolerance@ordered_message -->
<g id="node44" class="node">
<title>NASALib/fault_tolerance@ordered_message</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1738" cy="-614.5" rx="75.41" ry="18"/>
<text text-anchor="middle" x="1738" y="-609.45" font-family="Times,serif" font-size="14.00">ordered_message</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@ordered_message -->
<g id="edge28" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@ordered_message</title>
<path fill="none" stroke="black" d="M1437.93,-672.58C1503.93,-660.02 1603.61,-641.06 1669.73,-628.49"/>
<polygon fill="black" stroke="black" points="1670.28,-631.75 1679.45,-626.45 1668.97,-624.88 1670.28,-631.75"/>
</g>
<!-- NASALib/fault_tolerance@protocol_integration -->
<g id="node49" class="node">
<title>NASALib/fault_tolerance@protocol_integration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1266" cy="-614.5" rx="86.15" ry="18"/>
<text text-anchor="middle" x="1266" y="-609.45" font-family="Times,serif" font-size="14.00">protocol_integration</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@protocol_integration -->
<g id="edge29" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_integration&#45;&gt;NASALib/fault_tolerance@protocol_integration</title>
<path fill="none" stroke="black" d="M1344.82,-668.55C1331.18,-659.37 1314.15,-647.91 1299.41,-637.99"/>
<polygon fill="black" stroke="black" points="1301.84,-634.73 1291.58,-632.05 1297.93,-640.53 1301.84,-634.73"/>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage -->
<g id="edge30" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage</title>
<path fill="none" stroke="black" d="M1454.96,-456.9C1507.86,-445 1587.28,-427.12 1643.42,-414.49"/>
<polygon fill="black" stroke="black" points="1643.98,-417.72 1652.97,-412.11 1642.44,-410.89 1643.98,-417.72"/>
</g>
<!-- NASALib/fault_tolerance@reduce_choice -->
<g id="node51" class="node">
<title>NASALib/fault_tolerance@reduce_choice</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1000" cy="-398.5" rx="64.15" ry="18"/>
<text text-anchor="middle" x="1000" y="-393.45" font-family="Times,serif" font-size="14.00">reduce_choice</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@reduce_choice -->
<g id="edge31" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@reduce_choice</title>
<path fill="none" stroke="black" d="M1337.12,-458.07C1320.48,-454.99 1307,-452.5 1307,-452.5 1307,-452.5 1073,-416.5 1073,-416.5 1073,-416.5 1067.25,-415.16 1058.97,-413.23"/>
<polygon fill="black" stroke="black" points="1059.82,-409.6 1049.29,-410.74 1058.23,-416.42 1059.82,-409.6"/>
</g>
<!-- NASALib/fault_tolerance@select_minmax -->
<g id="node56" class="node">
<title>NASALib/fault_tolerance@select_minmax</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1150" cy="-398.5" rx="67.73" ry="18"/>
<text text-anchor="middle" x="1150" y="-393.45" font-family="Times,serif" font-size="14.00">select_minmax</text>
</g>
<!-- NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@select_minmax -->
<g id="edge32" class="edge">
<title>NASALib/fault_tolerance@exact_reduce_stage&#45;&gt;NASALib/fault_tolerance@select_minmax</title>
<path fill="none" stroke="black" d="M1349.81,-455.67C1308.3,-444 1248.91,-427.3 1205.67,-415.15"/>
<polygon fill="black" stroke="black" points="1206.89,-411.58 1196.32,-412.24 1205,-418.32 1206.89,-411.58"/>
</g>
<!-- NASALib/fault_tolerance@node_functions_stage -->
<g id="node42" class="node">
<title>NASALib/fault_tolerance@node_functions_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1221" cy="-254.5" rx="91.27" ry="18"/>
<text text-anchor="middle" x="1221" y="-249.45" font-family="Times,serif" font-size="14.00">node_functions_stage</text>
</g>
<!-- NASALib/fault_tolerance@fault_assumptions_stage&#45;&gt;NASALib/fault_tolerance@node_functions_stage -->
<g id="edge33" class="edge">
<title>NASALib/fault_tolerance@fault_assumptions_stage&#45;&gt;NASALib/fault_tolerance@node_functions_stage</title>
<path fill="none" stroke="black" d="M1212.72,-308.2C1213.89,-300.74 1215.29,-291.82 1216.61,-283.47"/>
<polygon fill="black" stroke="black" points="1220.22,-284.03 1218.31,-273.6 1213.3,-282.94 1220.22,-284.03"/>
</g>
<!-- NASALib/fault_tolerance@pigeonhole -->
<g id="node46" class="node">
<title>NASALib/fault_tolerance@pigeonhole</title>
<ellipse fill="#e6f3ff" stroke="black" cx="507" cy="-182.5" rx="51.86" ry="18"/>
<text text-anchor="middle" x="507" y="-177.45" font-family="Times,serif" font-size="14.00">pigeonhole</text>
</g>
<!-- NASALib/fault_tolerance@fault_assumptions_stage&#45;&gt;NASALib/fault_tolerance@pigeonhole -->
<g id="edge34" class="edge">
<title>NASALib/fault_tolerance@fault_assumptions_stage&#45;&gt;NASALib/fault_tolerance@pigeonhole</title>
<path fill="none" stroke="black" d="M1134.73,-313.97C1114.94,-310.94 1099,-308.5 1099,-308.5 1099,-308.5 517,-272.5 517,-272.5 517,-272.5 513.08,-237.61 510.15,-211.52"/>
<polygon fill="black" stroke="black" points="513.52,-211.21 508.93,-201.66 506.57,-211.99 513.52,-211.21"/>
</g>
<!-- NASALib/fault_tolerance@finite_seqs -->
<g id="node16" class="node">
<title>NASALib/fault_tolerance@finite_seqs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="631" cy="-182.5" rx="50.84" ry="18"/>
<text text-anchor="middle" x="631" y="-177.45" font-family="Times,serif" font-size="14.00">finite_seqs</text>
</g>
<!-- NASALib/structures -->
<g id="node72" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="156.25,-52 87.75,-52 87.75,-16 156.25,-16 156.25,-52"/>
<text text-anchor="middle" x="122" y="-28.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/fault_tolerance@finite_seqs&#45;&gt;NASALib/structures -->
<g id="edge35" class="edge">
<title>NASALib/fault_tolerance@finite_seqs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M591.46,-170.83C578.8,-167.41 568,-164.5 568,-164.5 568,-164.5 359,-128.5 359,-128.5 359,-128.5 335,-111.5 335,-111.5"/>
</g>
<!-- NASALib/fault_tolerance@finite_sets_below_extra -->
<g id="node17" class="node">
<title>NASALib/fault_tolerance@finite_sets_below_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1401" cy="-110.5" rx="98.95" ry="18"/>
<text text-anchor="middle" x="1401" y="-105.45" font-family="Times,serif" font-size="14.00">finite_sets_below_extra</text>
</g>
<!-- NASALib/fault_tolerance@finite_sets_below_extra&#45;&gt;lib/finite_sets -->
<g id="edge36" class="edge">
<title>NASALib/fault_tolerance@finite_sets_below_extra&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1482.4,-99.96C1515.45,-96.08 1546,-92.5 1546,-92.5 1546,-92.5 2219,-84.5 2219,-84.5 2219,-84.5 2230.91,-72.22 2242.87,-59.89"/>
<polygon fill="black" stroke="black" points="2244.76,-62.93 2249.21,-53.31 2239.74,-58.06 2244.76,-62.93"/>
</g>
<!-- NASALib/fault_tolerance@floor_ceiling_ineq -->
<g id="node18" class="node">
<title>NASALib/fault_tolerance@floor_ceiling_ineq</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1748" cy="-110.5" rx="78.99" ry="18"/>
<text text-anchor="middle" x="1748" y="-105.45" font-family="Times,serif" font-size="14.00">floor_ceiling_ineq</text>
</g>
<!-- NASALib/fault_tolerance@inexact_comm -->
<g id="node20" class="node">
<title>NASALib/fault_tolerance@inexact_comm</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1016" cy="-470.5" rx="66.19" ry="18"/>
<text text-anchor="middle" x="1016" y="-465.45" font-family="Times,serif" font-size="14.00">inexact_comm</text>
</g>
<!-- NASALib/fault_tolerance@inexact_comm_stage -->
<g id="node21" class="node">
<title>NASALib/fault_tolerance@inexact_comm_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="828" cy="-398.5" rx="89.74" ry="18"/>
<text text-anchor="middle" x="828" y="-393.45" font-family="Times,serif" font-size="14.00">inexact_comm_stage</text>
</g>
<!-- NASALib/fault_tolerance@inexact_comm&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage -->
<g id="edge37" class="edge">
<title>NASALib/fault_tolerance@inexact_comm&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage</title>
<path fill="none" stroke="black" d="M977.96,-455.33C949.61,-444.78 910.61,-430.26 879.48,-418.67"/>
<polygon fill="black" stroke="black" points="880.84,-415.07 870.25,-414.86 878.4,-421.63 880.84,-415.07"/>
</g>
<!-- NASALib/fault_tolerance@inexact_comm&#45;&gt;NASALib/fault_tolerance@node_functions -->
<g id="edge38" class="edge">
<title>NASALib/fault_tolerance@inexact_comm&#45;&gt;NASALib/fault_tolerance@node_functions</title>
<path fill="none" stroke="black" d="M1064.04,-457.78C1113.45,-445.73 1190.51,-426.94 1243.69,-413.97"/>
<polygon fill="black" stroke="black" points="1244.44,-417.14 1253.33,-411.37 1242.78,-410.34 1244.44,-417.14"/>
</g>
<!-- NASALib/fault_tolerance@inexact_comm_stage&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage -->
<g id="edge39" class="edge">
<title>NASALib/fault_tolerance@inexact_comm_stage&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage</title>
<path fill="none" stroke="black" d="M892.37,-385.7C958,-373.68 1059.93,-355 1130.55,-342.06"/>
<polygon fill="black" stroke="black" points="1130.96,-345.36 1140.17,-340.11 1129.7,-338.47 1130.96,-345.36"/>
</g>
<!-- NASALib/fault_tolerance@real_finite_sequences -->
<g id="node50" class="node">
<title>NASALib/fault_tolerance@real_finite_sequences</title>
<ellipse fill="#e6f3ff" stroke="black" cx="671" cy="-326.5" rx="90.76" ry="18"/>
<text text-anchor="middle" x="671" y="-321.45" font-family="Times,serif" font-size="14.00">real_finite_sequences</text>
</g>
<!-- NASALib/fault_tolerance@inexact_comm_stage&#45;&gt;NASALib/fault_tolerance@real_finite_sequences -->
<g id="edge40" class="edge">
<title>NASALib/fault_tolerance@inexact_comm_stage&#45;&gt;NASALib/fault_tolerance@real_finite_sequences</title>
<path fill="none" stroke="black" d="M792.37,-381.62C769.97,-371.63 740.85,-358.64 716.74,-347.9"/>
<polygon fill="black" stroke="black" points="718.31,-344.32 707.76,-343.44 715.46,-350.71 718.31,-344.32"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@inexact_comm -->
<g id="edge41" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@inexact_comm</title>
<path fill="none" stroke="black" d="M1103.08,-525.44C1087.57,-515.84 1067.67,-503.51 1050.81,-493.06"/>
<polygon fill="black" stroke="black" points="1053.15,-489.78 1042.8,-487.48 1049.46,-495.73 1053.15,-489.78"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="node23" class="node">
<title>NASALib/fault_tolerance@inexact_reduce_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="616" cy="-470.5" rx="90.25" ry="18"/>
<text text-anchor="middle" x="616" y="-465.45" font-family="Times,serif" font-size="14.00">inexact_reduce_stage</text>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="edge42" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage</title>
<path fill="none" stroke="black" d="M1078.73,-530.26C1064.6,-527.09 1053,-524.5 1053,-524.5 1053,-524.5 715,-488.5 715,-488.5 715,-488.5 706.06,-486.96 693.55,-484.82"/>
<polygon fill="black" stroke="black" points="694.31,-481.22 683.86,-482.98 693.12,-488.12 694.31,-481.22"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@k_ordered -->
<g id="edge43" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@k_ordered</title>
<path fill="none" stroke="black" d="M1133.7,-524.2C1135.74,-516.65 1138.2,-507.62 1140.49,-499.18"/>
<polygon fill="black" stroke="black" points="1144.12,-500.17 1143.36,-489.6 1137.36,-498.34 1144.12,-500.17"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@protocol -->
<g id="edge44" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/fault_tolerance@protocol</title>
<path fill="none" stroke="black" d="M1157.5,-525.79C1176.48,-515.33 1201.53,-501.52 1221.61,-490.45"/>
<polygon fill="black" stroke="black" points="1222.96,-493.16 1230.03,-485.26 1219.58,-487.03 1222.96,-493.16"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/reals -->
<g id="edge45" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1078.73,-530.26C1064.6,-527.09 1053,-524.5 1053,-524.5 1053,-524.5 327,-488.5 327,-488.5 327,-488.5 288,-471.5 288,-471.5"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage -->
<g id="edge46" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage</title>
<path fill="none" stroke="black" d="M661.22,-454.57C693.73,-443.83 737.76,-429.3 772.42,-417.85"/>
<polygon fill="black" stroke="black" points="773.45,-420.87 781.85,-414.41 771.26,-414.22 773.45,-420.87"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@reduce_choice -->
<g id="edge47" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@reduce_choice</title>
<path fill="none" stroke="black" d="M682.86,-458.02C700.64,-454.97 715,-452.5 715,-452.5 715,-452.5 927,-416.5 927,-416.5 927,-416.5 932.75,-415.16 941.03,-413.23"/>
<polygon fill="black" stroke="black" points="941.77,-416.42 950.71,-410.74 940.18,-409.6 941.77,-416.42"/>
</g>
<!-- NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@select_minmax -->
<g id="edge48" class="edge">
<title>NASALib/fault_tolerance@inexact_reduce_stage&#45;&gt;NASALib/fault_tolerance@select_minmax</title>
<path fill="none" stroke="black" d="M682.86,-458.02C700.64,-454.97 715,-452.5 715,-452.5 715,-452.5 1073,-416.5 1073,-416.5 1073,-416.5 1079.34,-415.1 1088.37,-413.11"/>
<polygon fill="black" stroke="black" points="1089.06,-416.32 1098.07,-410.74 1087.55,-409.48 1089.06,-416.32"/>
</g>
<!-- NASALib/fault_tolerance@integration_fault_model&#45;&gt;NASALib/fault_tolerance@finite_sets_below_extra -->
<g id="edge49" class="edge">
<title>NASALib/fault_tolerance@integration_fault_model&#45;&gt;NASALib/fault_tolerance@finite_sets_below_extra</title>
<path fill="none" stroke="black" d="M1495.58,-380.38C1468.74,-346.15 1411,-272.5 1411,-272.5 1411,-272.5 1405.6,-185.61 1402.74,-139.5"/>
<polygon fill="black" stroke="black" points="1406.18,-139.49 1402.07,-129.73 1399.2,-139.93 1406.18,-139.49"/>
</g>
<!-- NASALib/fault_tolerance@interval_clocks -->
<g id="node25" class="node">
<title>NASALib/fault_tolerance@interval_clocks</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1651" cy="-254.5" rx="67.22" ry="18"/>
<text text-anchor="middle" x="1651" y="-249.45" font-family="Times,serif" font-size="14.00">interval_clocks</text>
</g>
<!-- NASALib/fault_tolerance@interval_clocks&#45;&gt;NASALib/fault_tolerance@physical_clocks -->
<g id="edge50" class="edge">
<title>NASALib/fault_tolerance@interval_clocks&#45;&gt;NASALib/fault_tolerance@physical_clocks</title>
<path fill="none" stroke="black" d="M1648.53,-236.2C1647.46,-228.74 1646.19,-219.82 1645,-211.47"/>
<polygon fill="black" stroke="black" points="1648.32,-211.01 1643.44,-201.6 1641.39,-212 1648.32,-211.01"/>
</g>
<!-- NASALib/fault_tolerance@inverse_clocks&#45;&gt;NASALib/fault_tolerance@bounded_ints -->
<g id="edge51" class="edge">
<title>NASALib/fault_tolerance@inverse_clocks&#45;&gt;NASALib/fault_tolerance@bounded_ints</title>
<path fill="none" stroke="black" d="M1046,-236.2C1046,-228.74 1046,-219.82 1046,-211.47"/>
<polygon fill="black" stroke="black" points="1049.5,-211.6 1046,-201.6 1042.5,-211.6 1049.5,-211.6"/>
</g>
<!-- NASALib/fault_tolerance@inverse_clocks&#45;&gt;NASALib/fault_tolerance@physical_clocks -->
<g id="edge52" class="edge">
<title>NASALib/fault_tolerance@inverse_clocks&#45;&gt;NASALib/fault_tolerance@physical_clocks</title>
<path fill="none" stroke="black" d="M1095.61,-242.26C1109.56,-239.09 1121,-236.5 1121,-236.5 1121,-236.5 1422.09,-205.81 1566.05,-191.14"/>
<polygon fill="black" stroke="black" points="1566.38,-194.52 1575.98,-190.03 1565.67,-187.56 1566.38,-194.52"/>
</g>
<!-- NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@node_functions -->
<g id="edge53" class="edge">
<title>NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@node_functions</title>
<path fill="none" stroke="black" d="M1177.89,-456C1201.11,-445.52 1233.64,-430.82 1259.71,-419.05"/>
<polygon fill="black" stroke="black" points="1261.04,-421.84 1268.71,-414.53 1258.16,-415.46 1261.04,-421.84"/>
</g>
<!-- NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@reduce_choice -->
<g id="edge54" class="edge">
<title>NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@reduce_choice</title>
<path fill="none" stroke="black" d="M1119.11,-455.84C1097.08,-445.42 1066.42,-430.91 1041.72,-419.23"/>
<polygon fill="black" stroke="black" points="1043.43,-415.7 1032.89,-414.58 1040.44,-422.02 1043.43,-415.7"/>
</g>
<!-- NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@select_minmax -->
<g id="edge55" class="edge">
<title>NASALib/fault_tolerance@k_ordered&#45;&gt;NASALib/fault_tolerance@select_minmax</title>
<path fill="none" stroke="black" d="M1148.49,-452.2C1148.71,-444.74 1148.96,-435.82 1149.2,-427.47"/>
<polygon fill="black" stroke="black" points="1152.72,-427.7 1149.51,-417.6 1145.73,-427.5 1152.72,-427.7"/>
</g>
<!-- NASALib/fault_tolerance@local -->
<g id="node28" class="node">
<title>NASALib/fault_tolerance@local</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1221" cy="-110.5" rx="28.83" ry="18"/>
<text text-anchor="middle" x="1221" y="-105.45" font-family="Times,serif" font-size="14.00">local</text>
</g>
<!-- NASALib/fault_tolerance@local&#45;&gt;NASALib/structures -->
<g id="edge56" class="edge">
<title>NASALib/fault_tolerance@local&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1191.97,-108.73C1067.36,-105.4 584,-92.5 584,-92.5 584,-92.5 168,-84.5 168,-84.5 168,-84.5 156.8,-72.45 145.45,-60.23"/>
<polygon fill="black" stroke="black" points="148.46,-58.26 139.09,-53.31 143.33,-63.02 148.46,-58.26"/>
</g>
<!-- NASALib/fault_tolerance@majority -->
<g id="node29" class="node">
<title>NASALib/fault_tolerance@majority</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1476" cy="-542.5" rx="42.65" ry="18"/>
<text text-anchor="middle" x="1476" y="-537.45" font-family="Times,serif" font-size="14.00">majority</text>
</g>
<!-- NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@exact_comm -->
<g id="edge57" class="edge">
<title>NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@exact_comm</title>
<path fill="none" stroke="black" d="M1494.42,-525.96C1505.29,-516.8 1519.25,-505.03 1531.4,-494.77"/>
<polygon fill="black" stroke="black" points="1533.09,-497.09 1538.47,-487.97 1528.57,-491.74 1533.09,-497.09"/>
</g>
<!-- NASALib/fault_tolerance@majority_stage -->
<g id="node32" class="node">
<title>NASALib/fault_tolerance@majority_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1702" cy="-470.5" rx="66.19" ry="18"/>
<text text-anchor="middle" x="1702" y="-465.45" font-family="Times,serif" font-size="14.00">majority_stage</text>
</g>
<!-- NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@majority_stage -->
<g id="edge58" class="edge">
<title>NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@majority_stage</title>
<path fill="none" stroke="black" d="M1508.88,-530.54C1518.74,-527.25 1527,-524.5 1527,-524.5 1527,-524.5 1597.35,-503.19 1648.85,-487.6"/>
<polygon fill="black" stroke="black" points="1649.63,-490.71 1658.19,-484.47 1647.6,-484.01 1649.63,-490.71"/>
</g>
<!-- NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@protocol -->
<g id="edge59" class="edge">
<title>NASALib/fault_tolerance@majority&#45;&gt;NASALib/fault_tolerance@protocol</title>
<path fill="none" stroke="black" d="M1443.12,-530.54C1433.26,-527.25 1425,-524.5 1425,-524.5 1425,-524.5 1307,-488.5 1307,-488.5 1307,-488.5 1303.65,-487.38 1298.66,-485.72"/>
<polygon fill="black" stroke="black" points="1299.89,-482.11 1289.3,-482.27 1297.68,-488.75 1299.89,-482.11"/>
</g>
<!-- NASALib/fault_tolerance@majority_integration&#45;&gt;NASALib/fault_tolerance@majority -->
<g id="edge60" class="edge">
<title>NASALib/fault_tolerance@majority_integration&#45;&gt;NASALib/fault_tolerance@majority</title>
<path fill="none" stroke="black" d="M1162.93,-668.34C1165.83,-642.48 1171,-596.5 1171,-596.5 1171,-596.5 1425,-560.5 1425,-560.5 1425,-560.5 1428.07,-559.48 1432.69,-557.94"/>
<polygon fill="black" stroke="black" points="1433.74,-560.94 1442.12,-554.46 1431.53,-554.3 1433.74,-560.94"/>
</g>
<!-- NASALib/fault_tolerance@majority_integration&#45;&gt;NASALib/fault_tolerance@protocol_integration -->
<g id="edge61" class="edge">
<title>NASALib/fault_tolerance@majority_integration&#45;&gt;NASALib/fault_tolerance@protocol_integration</title>
<path fill="none" stroke="black" d="M1185.88,-668.91C1199.74,-659.67 1217.2,-648.04 1232.27,-637.99"/>
<polygon fill="black" stroke="black" points="1233.92,-640.43 1240.3,-631.97 1230.03,-634.6 1233.92,-640.43"/>
</g>
<!-- NASALib/fault_tolerance@majority_properties -->
<g id="node31" class="node">
<title>NASALib/fault_tolerance@majority_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="838" cy="-254.5" rx="84.11" ry="18"/>
<text text-anchor="middle" x="838" y="-249.45" font-family="Times,serif" font-size="14.00">majority_properties</text>
</g>
<!-- NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@finite_seqs -->
<g id="edge62" class="edge">
<title>NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@finite_seqs</title>
<path fill="none" stroke="black" d="M794.35,-238.74C759.91,-227.09 712,-210.89 676.98,-199.05"/>
<polygon fill="black" stroke="black" points="678.6,-195.56 668.01,-195.68 676.36,-202.19 678.6,-195.56"/>
</g>
<!-- NASALib/fault_tolerance@node -->
<g id="node40" class="node">
<title>NASALib/fault_tolerance@node</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1221" cy="-182.5" rx="28.83" ry="18"/>
<text text-anchor="middle" x="1221" y="-177.45" font-family="Times,serif" font-size="14.00">node</text>
</g>
<!-- NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@node -->
<g id="edge63" class="edge">
<title>NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@node</title>
<path fill="none" stroke="black" d="M900.39,-242.1C980.34,-227.49 1116.49,-202.6 1182.65,-190.51"/>
<polygon fill="black" stroke="black" points="1183.19,-193.79 1192.4,-188.54 1181.94,-186.9 1183.19,-193.79"/>
</g>
<!-- NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@pigeonhole -->
<g id="edge64" class="edge">
<title>NASALib/fault_tolerance@majority_properties&#45;&gt;NASALib/fault_tolerance@pigeonhole</title>
<path fill="none" stroke="black" d="M777.75,-241.54C699,-225.91 571,-200.5 571,-200.5 571,-200.5 565.45,-199.03 557.63,-196.95"/>
<polygon fill="black" stroke="black" points="558.73,-193.35 548.17,-194.17 556.94,-200.12 558.73,-193.35"/>
</g>
<!-- NASALib/fault_tolerance@majority_properties&#45;&gt;lib/finite_sets -->
<g id="edge65" class="edge">
<title>NASALib/fault_tolerance@majority_properties&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M2235,-181.5C2235,-181.5 2251.62,-105.4 2260.91,-62.89"/>
<polygon fill="black" stroke="black" points="2264.49,-63.9 2263.2,-53.38 2257.65,-62.4 2264.49,-63.9"/>
<path fill="none" stroke="black" d="M908.78,-244.45C940.55,-240.39 971,-236.5 971,-236.5 971,-236.5 2216,-200.5 2216,-200.5 2216,-200.5 2235,-183.5 2235,-183.5"/>
</g>
<!-- NASALib/fault_tolerance@majority_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage -->
<g id="edge66" class="edge">
<title>NASALib/fault_tolerance@majority_stage&#45;&gt;NASALib/fault_tolerance@exact_comm_stage</title>
<path fill="none" stroke="black" d="M1703.98,-452.2C1704.83,-444.74 1705.85,-435.82 1706.8,-427.47"/>
<polygon fill="black" stroke="black" points="1710.39,-427.94 1708.05,-417.6 1703.43,-427.14 1710.39,-427.94"/>
</g>
<!-- NASALib/fault_tolerance@majority_stage&#45;&gt;NASALib/fault_tolerance@majority_properties -->
<g id="edge67" class="edge">
<title>NASALib/fault_tolerance@majority_stage&#45;&gt;NASALib/fault_tolerance@majority_properties</title>
<path fill="none" stroke="black" d="M1652.39,-458.26C1638.44,-455.09 1627,-452.5 1627,-452.5 1627,-452.5 1400,-416.5 1400,-416.5 1400,-416.5 1380,-380.5 1380,-380.5 1380,-380.5 913,-344.5 913,-344.5 913,-344.5 893,-308.5 893,-308.5 893,-308.5 877.9,-293.94 863.52,-280.09"/>
<polygon fill="black" stroke="black" points="866.33,-277.98 856.71,-273.56 861.48,-283.02 866.33,-277.98"/>
</g>
<!-- NASALib/fault_tolerance@median_overlap -->
<g id="node33" class="node">
<title>NASALib/fault_tolerance@median_overlap</title>
<ellipse fill="#e6f3ff" stroke="black" cx="471" cy="-398.5" rx="70.8" ry="18"/>
<text text-anchor="middle" x="471" y="-393.45" font-family="Times,serif" font-size="14.00">median_overlap</text>
</g>
<!-- NASALib/fault_tolerance@reduce_properties -->
<g id="node52" class="node">
<title>NASALib/fault_tolerance@reduce_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="485" cy="-326.5" rx="76.94" ry="18"/>
<text text-anchor="middle" x="485" y="-321.45" font-family="Times,serif" font-size="14.00">reduce_properties</text>
</g>
<!-- NASALib/fault_tolerance@median_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties -->
<g id="edge68" class="edge">
<title>NASALib/fault_tolerance@median_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties</title>
<path fill="none" stroke="black" d="M474.46,-380.2C475.97,-372.65 477.78,-363.62 479.46,-355.18"/>
<polygon fill="black" stroke="black" points="483.05,-356.1 481.58,-345.6 476.19,-354.72 483.05,-356.1"/>
</g>
<!-- NASALib/fault_tolerance@median_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="edge69" class="edge">
<title>NASALib/fault_tolerance@median_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage</title>
<path fill="none" stroke="black" d="M616,-524.2C616,-516.74 616,-507.82 616,-499.47"/>
<polygon fill="black" stroke="black" points="619.5,-499.6 616,-489.6 612.5,-499.6 619.5,-499.6"/>
</g>
<!-- NASALib/fault_tolerance@median_stage&#45;&gt;NASALib/fault_tolerance@median_overlap -->
<g id="edge70" class="edge">
<title>NASALib/fault_tolerance@median_stage&#45;&gt;NASALib/fault_tolerance@median_overlap</title>
<path fill="none" stroke="black" d="M584.24,-526.74C550.51,-511.05 502,-488.5 502,-488.5 502,-488.5 489.63,-452.98 480.52,-426.82"/>
<polygon fill="black" stroke="black" points="483.57,-425.95 476.98,-417.66 476.96,-428.25 483.57,-425.95"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_overlap -->
<g id="node36" class="node">
<title>NASALib/fault_tolerance@middle_third_overlap</title>
<ellipse fill="#e6f3ff" stroke="black" cx="271" cy="-398.5" rx="91.27" ry="18"/>
<text text-anchor="middle" x="271" y="-393.45" font-family="Times,serif" font-size="14.00">middle_third_overlap</text>
</g>
<!-- NASALib/fault_tolerance@middle_third_pigeonhole -->
<g id="node37" class="node">
<title>NASALib/fault_tolerance@middle_third_pigeonhole</title>
<ellipse fill="#e6f3ff" stroke="black" cx="285" cy="-326.5" rx="104.58" ry="18"/>
<text text-anchor="middle" x="285" y="-321.45" font-family="Times,serif" font-size="14.00">middle_third_pigeonhole</text>
</g>
<!-- NASALib/fault_tolerance@middle_third_overlap&#45;&gt;NASALib/fault_tolerance@middle_third_pigeonhole -->
<g id="edge71" class="edge">
<title>NASALib/fault_tolerance@middle_third_overlap&#45;&gt;NASALib/fault_tolerance@middle_third_pigeonhole</title>
<path fill="none" stroke="black" d="M274.46,-380.2C275.97,-372.65 277.78,-363.62 279.46,-355.18"/>
<polygon fill="black" stroke="black" points="283.05,-356.1 281.58,-345.6 276.19,-354.72 283.05,-356.1"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties -->
<g id="edge72" class="edge">
<title>NASALib/fault_tolerance@middle_third_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties</title>
<path fill="none" stroke="black" d="M316.91,-382.48C350.44,-371.51 396.01,-356.61 431.25,-345.08"/>
<polygon fill="black" stroke="black" points="431.94,-348.21 440.36,-341.77 429.77,-341.56 431.94,-348.21"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_pigeonhole&#45;&gt;NASALib/fault_tolerance@pigeonhole -->
<g id="edge73" class="edge">
<title>NASALib/fault_tolerance@middle_third_pigeonhole&#45;&gt;NASALib/fault_tolerance@pigeonhole</title>
<path fill="none" stroke="black" d="M297.12,-308.15C307.91,-292.69 322,-272.5 322,-272.5 322,-272.5 347,-236.5 347,-236.5 347,-236.5 412.74,-214.72 459.94,-199.09"/>
<polygon fill="black" stroke="black" points="460.9,-202.13 469.29,-195.66 458.7,-195.48 460.9,-202.13"/>
</g>
<!-- NASALib/fault_tolerance@pigeonhole_int -->
<g id="node47" class="node">
<title>NASALib/fault_tolerance@pigeonhole_int</title>
<ellipse fill="#e6f3ff" stroke="black" cx="422" cy="-254.5" rx="66.19" ry="18"/>
<text text-anchor="middle" x="422" y="-249.45" font-family="Times,serif" font-size="14.00">pigeonhole_int</text>
</g>
<!-- NASALib/fault_tolerance@middle_third_pigeonhole&#45;&gt;NASALib/fault_tolerance@pigeonhole_int -->
<g id="edge74" class="edge">
<title>NASALib/fault_tolerance@middle_third_pigeonhole&#45;&gt;NASALib/fault_tolerance@pigeonhole_int</title>
<path fill="none" stroke="black" d="M317.47,-308.91C336.91,-298.97 361.78,-286.27 382.38,-275.74"/>
<polygon fill="black" stroke="black" points="383.79,-278.44 391.11,-270.77 380.61,-272.21 383.79,-278.44"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="edge75" class="edge">
<title>NASALib/fault_tolerance@middle_third_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage</title>
<path fill="none" stroke="black" d="M375.45,-528.58C424.36,-516.97 496.33,-499.9 548.8,-487.45"/>
<polygon fill="black" stroke="black" points="549.43,-490.66 558.35,-484.94 547.82,-483.84 549.43,-490.66"/>
</g>
<!-- NASALib/fault_tolerance@middle_third_stage&#45;&gt;NASALib/fault_tolerance@middle_third_overlap -->
<g id="edge76" class="edge">
<title>NASALib/fault_tolerance@middle_third_stage&#45;&gt;NASALib/fault_tolerance@middle_third_overlap</title>
<path fill="none" stroke="black" d="M317.34,-524.34C311.82,-498.48 302,-452.5 302,-452.5 302,-452.5 294.35,-439.43 286.66,-426.27"/>
<polygon fill="black" stroke="black" points="289.22,-424.72 281.15,-417.85 283.18,-428.25 289.22,-424.72"/>
</g>
<!-- NASALib/fault_tolerance@node&#45;&gt;NASALib/fault_tolerance@finite_sets_below_extra -->
<g id="edge77" class="edge">
<title>NASALib/fault_tolerance@node&#45;&gt;NASALib/fault_tolerance@finite_sets_below_extra</title>
<path fill="none" stroke="black" d="M1244.9,-172.2C1271.71,-161.78 1315.96,-144.57 1350.51,-131.14"/>
<polygon fill="black" stroke="black" points="1351.38,-134.16 1359.43,-127.28 1348.84,-127.64 1351.38,-134.16"/>
</g>
<!-- NASALib/fault_tolerance@node&#45;&gt;NASALib/fault_tolerance@local -->
<g id="edge78" class="edge">
<title>NASALib/fault_tolerance@node&#45;&gt;NASALib/fault_tolerance@local</title>
<path fill="none" stroke="black" d="M1221,-164.2C1221,-156.74 1221,-147.82 1221,-139.47"/>
<polygon fill="black" stroke="black" points="1224.5,-139.6 1221,-129.6 1217.5,-139.6 1224.5,-139.6"/>
</g>
<!-- NASALib/fault_tolerance@node&#45;&gt;NASALib/structures -->
<g id="edge79" class="edge">
<title>NASALib/fault_tolerance@node&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1193.14,-176.99C1162.03,-171.95 1116,-164.5 1116,-164.5 1116,-164.5 430,-128.5 430,-128.5 430,-128.5 368,-92.5 368,-92.5 368,-92.5 168,-84.5 168,-84.5 168,-84.5 156.8,-72.45 145.45,-60.23"/>
<polygon fill="black" stroke="black" points="148.46,-58.26 139.09,-53.31 143.33,-63.02 148.46,-58.26"/>
</g>
<!-- NASALib/fault_tolerance@node_functions&#45;&gt;NASALib/fault_tolerance@node_functions_stage -->
<g id="edge80" class="edge">
<title>NASALib/fault_tolerance@node_functions&#45;&gt;NASALib/fault_tolerance@node_functions_stage</title>
<path fill="none" stroke="black" d="M1313.62,-380.44C1323.27,-364.95 1336,-344.5 1336,-344.5 1336,-344.5 1336,-308.5 1336,-308.5 1336,-308.5 1297.94,-290.96 1265.62,-276.06"/>
<polygon fill="black" stroke="black" points="1267.36,-272.55 1256.82,-271.55 1264.43,-278.91 1267.36,-272.55"/>
</g>
<!-- NASALib/fault_tolerance@node_functions_stage&#45;&gt;NASALib/fault_tolerance@node -->
<g id="edge81" class="edge">
<title>NASALib/fault_tolerance@node_functions_stage&#45;&gt;NASALib/fault_tolerance@node</title>
<path fill="none" stroke="black" d="M1221,-236.2C1221,-228.74 1221,-219.82 1221,-211.47"/>
<polygon fill="black" stroke="black" points="1224.5,-211.6 1221,-201.6 1217.5,-211.6 1224.5,-211.6"/>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences -->
<g id="node43" class="node">
<title>NASALib/fault_tolerance@ordered_finite_sequences</title>
<ellipse fill="#e6f3ff" stroke="black" cx="631" cy="-254.5" rx="105.09" ry="18"/>
<text text-anchor="middle" x="631" y="-249.45" font-family="Times,serif" font-size="14.00">ordered_finite_sequences</text>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@finite_seqs -->
<g id="edge82" class="edge">
<title>NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@finite_seqs</title>
<path fill="none" stroke="black" d="M631,-236.2C631,-228.74 631,-219.82 631,-211.47"/>
<polygon fill="black" stroke="black" points="634.5,-211.6 631,-201.6 627.5,-211.6 634.5,-211.6"/>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@pigeonhole -->
<g id="edge83" class="edge">
<title>NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@pigeonhole</title>
<path fill="none" stroke="black" d="M601.61,-236.91C583.93,-226.93 561.29,-214.15 542.59,-203.59"/>
<polygon fill="black" stroke="black" points="544.65,-200.17 534.22,-198.3 541.21,-206.27 544.65,-200.17"/>
</g>
<!-- NASALib/fault_tolerance@relations_extra -->
<g id="node55" class="node">
<title>NASALib/fault_tolerance@relations_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="834" cy="-182.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="834" y="-177.45" font-family="Times,serif" font-size="14.00">relations_extra</text>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@relations_extra -->
<g id="edge84" class="edge">
<title>NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/fault_tolerance@relations_extra</title>
<path fill="none" stroke="black" d="M676.3,-237.88C708.25,-226.86 751.05,-212.1 784,-200.74"/>
<polygon fill="black" stroke="black" points="785.01,-203.75 793.32,-197.18 782.73,-197.13 785.01,-203.75"/>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/structures -->
<g id="edge85" class="edge">
<title>NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M335,-109.5C335,-109.5 311,-92.5 311,-92.5 311,-92.5 168,-84.5 168,-84.5 168,-84.5 156.8,-72.45 145.45,-60.23"/>
<polygon fill="black" stroke="black" points="148.46,-58.26 139.09,-53.31 143.33,-63.02 148.46,-58.26"/>
<path fill="none" stroke="black" d="M578.48,-238.45C523.79,-222.78 446,-200.5 446,-200.5 446,-200.5 349,-128.5 349,-128.5 349,-128.5 335,-111.5 335,-111.5"/>
</g>
<!-- NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;lib/finite_sets -->
<g id="edge86" class="edge">
<title>NASALib/fault_tolerance@ordered_finite_sequences&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M708.3,-241.97C728.63,-238.94 745,-236.5 745,-236.5 745,-236.5 2216,-200.5 2216,-200.5 2216,-200.5 2235,-183.5 2235,-183.5"/>
</g>
<!-- NASALib/fault_tolerance@ordered_message&#45;&gt;NASALib/fault_tolerance@message -->
<g id="edge87" class="edge">
<title>NASALib/fault_tolerance@ordered_message&#45;&gt;NASALib/fault_tolerance@message</title>
<path fill="none" stroke="black" d="M1770.78,-597.92C1841.28,-564.41 2001,-488.5 2001,-488.5 2001,-488.5 2001,-452.5 2001,-452.5 2001,-452.5 1938.64,-430.17 1894.87,-414.5"/>
<polygon fill="black" stroke="black" points="1896.34,-410.95 1885.75,-410.87 1893.98,-417.54 1896.34,-410.95"/>
</g>
<!-- NASALib/fault_tolerance@physical_clocks&#45;&gt;NASALib/fault_tolerance@abs_props -->
<g id="edge88" class="edge">
<title>NASALib/fault_tolerance@physical_clocks&#45;&gt;NASALib/fault_tolerance@abs_props</title>
<path fill="none" stroke="black" d="M1631.61,-164.2C1627.33,-156.31 1622.17,-146.8 1617.41,-138.05"/>
<polygon fill="black" stroke="black" points="1620.13,-136.72 1612.29,-129.6 1613.98,-140.06 1620.13,-136.72"/>
</g>
<!-- NASALib/fault_tolerance@physical_clocks&#45;&gt;NASALib/fault_tolerance@floor_ceiling_ineq -->
<g id="edge89" class="edge">
<title>NASALib/fault_tolerance@physical_clocks&#45;&gt;NASALib/fault_tolerance@floor_ceiling_ineq</title>
<path fill="none" stroke="black" d="M1665.82,-165.26C1680.16,-155.88 1698.42,-143.94 1714.08,-133.69"/>
<polygon fill="black" stroke="black" points="1715.49,-136.29 1721.95,-127.89 1711.66,-130.44 1715.49,-136.29"/>
</g>
<!-- NASALib/fault_tolerance@tau_declaration -->
<g id="node60" class="node">
<title>NASALib/fault_tolerance@tau_declaration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="507" cy="-110.5" rx="67.73" ry="18"/>
<text text-anchor="middle" x="507" y="-105.45" font-family="Times,serif" font-size="14.00">tau_declaration</text>
</g>
<!-- NASALib/fault_tolerance@pigeonhole&#45;&gt;NASALib/fault_tolerance@tau_declaration -->
<g id="edge90" class="edge">
<title>NASALib/fault_tolerance@pigeonhole&#45;&gt;NASALib/fault_tolerance@tau_declaration</title>
<path fill="none" stroke="black" d="M507,-164.2C507,-156.74 507,-147.82 507,-139.47"/>
<polygon fill="black" stroke="black" points="510.5,-139.6 507,-129.6 503.5,-139.6 510.5,-139.6"/>
</g>
<!-- NASALib/fault_tolerance@pigeonhole_int&#45;&gt;NASALib/fault_tolerance@pigeonhole -->
<g id="edge91" class="edge">
<title>NASALib/fault_tolerance@pigeonhole_int&#45;&gt;NASALib/fault_tolerance@pigeonhole</title>
<path fill="none" stroke="black" d="M442.14,-236.91C453.21,-227.8 467.09,-216.37 479.17,-206.42"/>
<polygon fill="black" stroke="black" points="481.09,-208.55 486.59,-199.49 476.64,-203.14 481.09,-208.55"/>
</g>
<!-- NASALib/fault_tolerance@protocol&#45;&gt;NASALib/fault_tolerance@node_functions -->
<g id="edge92" class="edge">
<title>NASALib/fault_tolerance@protocol&#45;&gt;NASALib/fault_tolerance@node_functions</title>
<path fill="none" stroke="black" d="M1267.14,-452.91C1272.62,-444.75 1279.35,-434.72 1285.5,-425.57"/>
<polygon fill="black" stroke="black" points="1288.95,-427.71 1291.62,-417.46 1283.13,-423.81 1288.95,-427.71"/>
</g>
<!-- NASALib/fault_tolerance@protocol_integration&#45;&gt;NASALib/fault_tolerance@comm_integration -->
<g id="edge93" class="edge">
<title>NASALib/fault_tolerance@protocol_integration&#45;&gt;NASALib/fault_tolerance@comm_integration</title>
<path fill="none" stroke="black" d="M1326.57,-601.39C1388.1,-589.08 1483.24,-570.05 1547.49,-557.2"/>
<polygon fill="black" stroke="black" points="1547.8,-560.51 1556.92,-555.12 1546.43,-553.65 1547.8,-560.51"/>
</g>
<!-- NASALib/fault_tolerance@protocol_integration&#45;&gt;NASALib/fault_tolerance@protocol -->
<g id="edge94" class="edge">
<title>NASALib/fault_tolerance@protocol_integration&#45;&gt;NASALib/fault_tolerance@protocol</title>
<path fill="none" stroke="black" d="M1264.77,-596.09C1263.08,-572 1260,-528.25 1257.97,-499.53"/>
<polygon fill="black" stroke="black" points="1261.4,-499.34 1257.2,-489.61 1254.42,-499.83 1261.4,-499.34"/>
</g>
<!-- NASALib/fault_tolerance@real_finite_sequences&#45;&gt;NASALib/fault_tolerance@ordered_finite_sequences -->
<g id="edge95" class="edge">
<title>NASALib/fault_tolerance@real_finite_sequences&#45;&gt;NASALib/fault_tolerance@ordered_finite_sequences</title>
<path fill="none" stroke="black" d="M661.11,-308.2C656.61,-300.31 651.17,-290.8 646.17,-282.05"/>
<polygon fill="black" stroke="black" points="648.77,-280.55 640.77,-273.6 642.7,-284.02 648.77,-280.55"/>
</g>
<!-- NASALib/fault_tolerance@real_finite_sequences&#45;&gt;NASALib/reals -->
<g id="edge96" class="edge">
<title>NASALib/fault_tolerance@real_finite_sequences&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M603.74,-314.07C585.65,-310.99 571,-308.5 571,-308.5 571,-308.5 347,-272.5 347,-272.5 347,-272.5 308,-255.5 308,-255.5"/>
</g>
<!-- NASALib/fault_tolerance@reduce_choice&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage -->
<g id="edge97" class="edge">
<title>NASALib/fault_tolerance@reduce_choice&#45;&gt;NASALib/fault_tolerance@fault_assumptions_stage</title>
<path fill="none" stroke="black" d="M1039.99,-384.17C1072.05,-373.48 1117.44,-358.35 1153.26,-346.41"/>
<polygon fill="black" stroke="black" points="1154.19,-349.46 1162.57,-342.98 1151.97,-342.82 1154.19,-349.46"/>
</g>
<!-- NASALib/fault_tolerance@reduce_choice&#45;&gt;NASALib/fault_tolerance@reduce_properties -->
<g id="edge98" class="edge">
<title>NASALib/fault_tolerance@reduce_choice&#45;&gt;NASALib/fault_tolerance@reduce_properties</title>
<path fill="none" stroke="black" d="M951.71,-386.26C938.14,-383.09 927,-380.5 927,-380.5 927,-380.5 571,-344.5 571,-344.5 571,-344.5 563.46,-343.01 552.85,-340.91"/>
<polygon fill="black" stroke="black" points="553.85,-337.34 543.36,-338.84 552.49,-344.21 553.85,-337.34"/>
</g>
<!-- NASALib/fault_tolerance@reduce_choice&#45;&gt;lib/finite_sets -->
<g id="edge99" class="edge">
<title>NASALib/fault_tolerance@reduce_choice&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1048.29,-386.26C1061.86,-383.09 1073,-380.5 1073,-380.5 1073,-380.5 2219,-344.5 2219,-344.5 2219,-344.5 2235,-327.5 2235,-327.5"/>
<path fill="none" stroke="black" d="M2235,-325.5C2235,-325.5 2235,-255.5 2235,-255.5"/>
</g>
<!-- NASALib/fault_tolerance@reduce_properties&#45;&gt;NASALib/fault_tolerance@node -->
<g id="edge100" class="edge">
<title>NASALib/fault_tolerance@reduce_properties&#45;&gt;NASALib/fault_tolerance@node</title>
<path fill="none" stroke="black" d="M542.36,-314.16C558.14,-311.04 571,-308.5 571,-308.5 571,-308.5 931,-272.5 931,-272.5 931,-272.5 971,-236.5 971,-236.5 971,-236.5 1113.34,-206.32 1183.21,-191.51"/>
<polygon fill="black" stroke="black" points="1183.71,-194.77 1192.77,-189.27 1182.26,-187.92 1183.71,-194.77"/>
</g>
<!-- NASALib/fault_tolerance@reduce_properties&#45;&gt;NASALib/fault_tolerance@ordered_finite_sequences -->
<g id="edge101" class="edge">
<title>NASALib/fault_tolerance@reduce_properties&#45;&gt;NASALib/fault_tolerance@ordered_finite_sequences</title>
<path fill="none" stroke="black" d="M517.77,-309.79C538.18,-300 564.7,-287.29 586.94,-276.62"/>
<polygon fill="black" stroke="black" points="588.32,-279.37 595.82,-271.89 585.29,-273.05 588.32,-279.37"/>
</g>
<!-- NASALib/fault_tolerance@reduce_properties&#45;&gt;lib/finite_sets -->
<g id="edge102" class="edge">
<title>NASALib/fault_tolerance@reduce_properties&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M542.36,-314.16C558.14,-311.04 571,-308.5 571,-308.5 571,-308.5 2219,-272.5 2219,-272.5 2219,-272.5 2235,-255.5 2235,-255.5"/>
<path fill="none" stroke="black" d="M2235,-253.5C2235,-253.5 2235,-183.5 2235,-183.5"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@k_ordered -->
<g id="edge103" class="edge">
<title>NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@k_ordered</title>
<path fill="none" stroke="black" d="M1012.19,-602.9C1082.52,-587.44 1205,-560.5 1205,-560.5 1205,-560.5 1226,-543.5 1226,-543.5"/>
<path fill="none" stroke="black" d="M1226,-541.5C1226,-541.5 1196.42,-514.96 1173.7,-494.56"/>
<polygon fill="black" stroke="black" points="1176.48,-492.46 1166.7,-488.38 1171.8,-497.67 1176.48,-492.46"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@protocol -->
<g id="edge104" class="edge">
<title>NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@protocol</title>
<path fill="none" stroke="black" d="M1226,-541.5C1226,-541.5 1236.05,-518.05 1244.52,-498.29"/>
<polygon fill="black" stroke="black" points="1248.02,-500.02 1248.74,-489.45 1241.58,-497.26 1248.02,-500.02"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch_stage -->
<g id="node54" class="node">
<title>NASALib/fault_tolerance@reduce_synch_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="781" cy="-542.5" rx="85.13" ry="18"/>
<text text-anchor="middle" x="781" y="-537.45" font-family="Times,serif" font-size="14.00">reduce_synch_stage</text>
</g>
<!-- NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@reduce_synch_stage -->
<g id="edge105" class="edge">
<title>NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@reduce_synch_stage</title>
<path fill="none" stroke="black" d="M927.85,-599.67C900.14,-589.07 861.6,-574.33 830.96,-562.61"/>
<polygon fill="black" stroke="black" points="832.48,-559.06 821.89,-558.76 829.98,-565.6 832.48,-559.06"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration -->
<g id="node62" class="node">
<title>NASALib/fault_tolerance@timing_integration</title>
<ellipse fill="#e6f3ff" stroke="black" cx="964" cy="-542.5" rx="80.01" ry="18"/>
<text text-anchor="middle" x="964" y="-537.45" font-family="Times,serif" font-size="14.00">timing_integration</text>
</g>
<!-- NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@timing_integration -->
<g id="edge106" class="edge">
<title>NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/fault_tolerance@timing_integration</title>
<path fill="none" stroke="black" d="M964,-596.2C964,-588.74 964,-579.82 964,-571.47"/>
<polygon fill="black" stroke="black" points="967.5,-571.6 964,-561.6 960.5,-571.6 967.5,-571.6"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/reals -->
<g id="edge107" class="edge">
<title>NASALib/fault_tolerance@reduce_synch&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M288,-469.5C288,-469.5 171,-416.5 171,-416.5 171,-416.5 171,-308.5 171,-308.5 171,-308.5 308,-255.5 308,-255.5"/>
<path fill="none" stroke="black" d="M904.78,-609.23C730.09,-596.63 229,-560.5 229,-560.5 229,-560.5 229,-524.5 229,-524.5 229,-524.5 288,-471.5 288,-471.5"/>
<path fill="none" stroke="black" d="M308,-253.5C308,-253.5 79,-84.5 79,-84.5 79,-84.5 70.56,-72.9 61.86,-60.93"/>
<polygon fill="black" stroke="black" points="64.3,-59.34 55.59,-53.31 58.64,-63.46 64.3,-59.34"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@clock_shift -->
<g id="edge108" class="edge">
<title>NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@clock_shift</title>
<path fill="none" stroke="black" d="M720.76,-529.41C642.85,-513.76 517,-488.5 517,-488.5 517,-488.5 517,-452.5 517,-452.5 517,-452.5 551,-416.5 551,-416.5 551,-416.5 571,-380.5 571,-380.5 571,-380.5 771,-344.5 771,-344.5 771,-344.5 775.37,-343.28 781.77,-341.5"/>
<polygon fill="black" stroke="black" points="782.64,-344.61 791.33,-338.55 780.76,-337.87 782.64,-344.61"/>
</g>
<!-- NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="edge109" class="edge">
<title>NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage</title>
<path fill="none" stroke="black" d="M744.38,-525.96C720.49,-515.83 689.08,-502.5 663.31,-491.57"/>
<polygon fill="black" stroke="black" points="664.95,-488.04 654.37,-487.36 662.21,-494.48 664.95,-488.04"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration_stage -->
<g id="node63" class="node">
<title>NASALib/fault_tolerance@timing_integration_stage</title>
<ellipse fill="#e6f3ff" stroke="black" cx="828" cy="-470.5" rx="103.56" ry="18"/>
<text text-anchor="middle" x="828" y="-465.45" font-family="Times,serif" font-size="14.00">timing_integration_stage</text>
</g>
<!-- NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@timing_integration_stage -->
<g id="edge110" class="edge">
<title>NASALib/fault_tolerance@reduce_synch_stage&#45;&gt;NASALib/fault_tolerance@timing_integration_stage</title>
<path fill="none" stroke="black" d="M792.62,-524.2C798.02,-516.14 804.57,-506.39 810.55,-497.48"/>
<polygon fill="black" stroke="black" points="813.85,-499.86 816.52,-489.6 808.04,-495.96 813.85,-499.86"/>
</g>
<!-- NASALib/fault_tolerance@select_minmax&#45;&gt;NASALib/fault_tolerance@node -->
<g id="edge111" class="edge">
<title>NASALib/fault_tolerance@select_minmax&#45;&gt;NASALib/fault_tolerance@node</title>
<path fill="none" stroke="black" d="M1331,-325.5C1331,-325.5 1321,-236.5 1321,-236.5 1321,-236.5 1281.09,-215.35 1251.7,-199.77"/>
<polygon fill="black" stroke="black" points="1253.68,-196.33 1243.21,-194.74 1250.4,-202.52 1253.68,-196.33"/>
</g>
<!-- NASALib/fault_tolerance@select_minmax&#45;&gt;NASALib/fault_tolerance@relations_extra -->
<g id="edge112" class="edge">
<title>NASALib/fault_tolerance@select_minmax&#45;&gt;NASALib/fault_tolerance@relations_extra</title>
<path fill="none" stroke="black" d="M1192.71,-384.26C1243.36,-368.56 1321,-344.5 1321,-344.5 1321,-344.5 1331,-327.5 1331,-327.5"/>
<path fill="none" stroke="black" d="M1331,-325.5C1331,-325.5 1321,-308.5 1321,-308.5 1321,-308.5 971,-272.5 971,-272.5 971,-272.5 931,-236.5 931,-236.5 931,-236.5 899.15,-219.09 871.95,-204.23"/>
<polygon fill="black" stroke="black" points="874.03,-200.84 863.58,-199.12 870.68,-206.98 874.03,-200.84"/>
</g>
<!-- NASALib/fault_tolerance@select_minmax&#45;&gt;lib/finite_sets -->
<g id="edge113" class="edge">
<title>NASALib/fault_tolerance@select_minmax&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1200.69,-386.16C1214.63,-383.04 1226,-380.5 1226,-380.5 1226,-380.5 2219,-344.5 2219,-344.5 2219,-344.5 2235,-327.5 2235,-327.5"/>
</g>
<!-- NASALib/fault_tolerance@synch_constant_definitions -->
<g id="node57" class="node">
<title>NASALib/fault_tolerance@synch_constant_definitions</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1848" cy="-254.5" rx="111.74" ry="18"/>
<text text-anchor="middle" x="1848" y="-249.45" font-family="Times,serif" font-size="14.00">synch_constant_definitions</text>
</g>
<!-- NASALib/fault_tolerance@synch_constant_definitions&#45;&gt;NASALib/fault_tolerance@physical_clocks -->
<g id="edge114" class="edge">
<title>NASALib/fault_tolerance@synch_constant_definitions&#45;&gt;NASALib/fault_tolerance@physical_clocks</title>
<path fill="none" stroke="black" d="M1801.29,-237.7C1768.87,-226.74 1725.68,-212.14 1692.31,-200.85"/>
<polygon fill="black" stroke="black" points="1693.88,-197.35 1683.29,-197.46 1691.64,-203.98 1693.88,-197.35"/>
</g>
<!-- NASALib/fault_tolerance@synch_parameter_constraints -->
<g id="node58" class="node">
<title>NASALib/fault_tolerance@synch_parameter_constraints</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1848" cy="-182.5" rx="118.91" ry="18"/>
<text text-anchor="middle" x="1848" y="-177.45" font-family="Times,serif" font-size="14.00">synch_parameter_constraints</text>
</g>
<!-- NASALib/fault_tolerance@synch_constant_definitions&#45;&gt;NASALib/fault_tolerance@synch_parameter_constraints -->
<g id="edge115" class="edge">
<title>NASALib/fault_tolerance@synch_constant_definitions&#45;&gt;NASALib/fault_tolerance@synch_parameter_constraints</title>
<path fill="none" stroke="black" d="M1848,-236.2C1848,-228.74 1848,-219.82 1848,-211.47"/>
<polygon fill="black" stroke="black" points="1851.5,-211.6 1848,-201.6 1844.5,-211.6 1851.5,-211.6"/>
</g>
<!-- NASALib/fault_tolerance@synch_protocol_invariants -->
<g id="node59" class="node">
<title>NASALib/fault_tolerance@synch_protocol_invariants</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1982" cy="-326.5" rx="108.67" ry="18"/>
<text text-anchor="middle" x="1982" y="-321.45" font-family="Times,serif" font-size="14.00">synch_protocol_invariants</text>
</g>
<!-- NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@clock_minmax -->
<g id="edge116" class="edge">
<title>NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@clock_minmax</title>
<path fill="none" stroke="black" d="M1997.33,-308.2C2004.79,-299.77 2013.91,-289.47 2022.09,-280.23"/>
<polygon fill="black" stroke="black" points="2024.27,-282.93 2028.28,-273.12 2019.03,-278.29 2024.27,-282.93"/>
</g>
<!-- NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@interval_clocks -->
<g id="edge117" class="edge">
<title>NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@interval_clocks</title>
<path fill="none" stroke="black" d="M1916,-311.78C1840.44,-296.08 1727,-272.5 1727,-272.5 1727,-272.5 1720.75,-271.1 1711.83,-269.11"/>
<polygon fill="black" stroke="black" points="1712.79,-265.51 1702.27,-266.74 1711.26,-272.34 1712.79,-265.51"/>
</g>
<!-- NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@synch_constant_definitions -->
<g id="edge118" class="edge">
<title>NASALib/fault_tolerance@synch_protocol_invariants&#45;&gt;NASALib/fault_tolerance@synch_constant_definitions</title>
<path fill="none" stroke="black" d="M1950.24,-308.91C1932.1,-299.43 1909.14,-287.44 1889.58,-277.22"/>
<polygon fill="black" stroke="black" points="1891.48,-273.74 1880.99,-272.21 1888.24,-279.94 1891.48,-273.74"/>
</g>
<!-- NASALib/fault_tolerance@timing_imprecision -->
<g id="node61" class="node">
<title>NASALib/fault_tolerance@timing_imprecision</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1006" cy="-326.5" rx="84.11" ry="18"/>
<text text-anchor="middle" x="1006" y="-321.45" font-family="Times,serif" font-size="14.00">timing_imprecision</text>
</g>
<!-- NASALib/fault_tolerance@timing_imprecision&#45;&gt;NASALib/fault_tolerance@inverse_clocks -->
<g id="edge119" class="edge">
<title>NASALib/fault_tolerance@timing_imprecision&#45;&gt;NASALib/fault_tolerance@inverse_clocks</title>
<path fill="none" stroke="black" d="M1015.89,-308.2C1020.39,-300.31 1025.83,-290.8 1030.83,-282.05"/>
<polygon fill="black" stroke="black" points="1034.3,-284.02 1036.23,-273.6 1028.23,-280.55 1034.3,-284.02"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration&#45;&gt;NASALib/fault_tolerance@inexact_comm -->
<g id="edge120" class="edge">
<title>NASALib/fault_tolerance@timing_integration&#45;&gt;NASALib/fault_tolerance@inexact_comm</title>
<path fill="none" stroke="black" d="M976.59,-524.55C982.72,-516.3 990.22,-506.2 997.03,-497.04"/>
<polygon fill="black" stroke="black" points="1000.37,-499.4 1003.53,-489.29 994.76,-495.23 1000.37,-499.4"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration&#45;&gt;NASALib/fault_tolerance@timing_integration_stage -->
<g id="edge121" class="edge">
<title>NASALib/fault_tolerance@timing_integration&#45;&gt;NASALib/fault_tolerance@timing_integration_stage</title>
<path fill="none" stroke="black" d="M933.14,-525.62C914.42,-515.98 890.27,-503.55 869.85,-493.04"/>
<polygon fill="black" stroke="black" points="871.65,-489.52 861.16,-488.05 868.45,-495.74 871.65,-489.52"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage -->
<g id="edge122" class="edge">
<title>NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@inexact_comm_stage</title>
<path fill="none" stroke="black" d="M828,-452.2C828,-444.74 828,-435.82 828,-427.47"/>
<polygon fill="black" stroke="black" points="831.5,-427.6 828,-417.6 824.5,-427.6 831.5,-427.6"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@integration_fault_model -->
<g id="edge123" class="edge">
<title>NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@integration_fault_model</title>
<path fill="none" stroke="black" d="M904.31,-458.02C924.61,-454.97 941,-452.5 941,-452.5 941,-452.5 1380,-416.5 1380,-416.5 1380,-416.5 1397.27,-414.22 1419.17,-411.34"/>
<polygon fill="black" stroke="black" points="1419.42,-414.7 1428.87,-409.93 1418.5,-407.76 1419.42,-414.7"/>
</g>
<!-- NASALib/fault_tolerance@timing_window -->
<g id="node64" class="node">
<title>NASALib/fault_tolerance@timing_window</title>
<ellipse fill="#e6f3ff" stroke="black" cx="650" cy="-398.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="650" y="-393.45" font-family="Times,serif" font-size="14.00">timing_window</text>
</g>
<!-- NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@timing_window -->
<g id="edge124" class="edge">
<title>NASALib/fault_tolerance@timing_integration_stage&#45;&gt;NASALib/fault_tolerance@timing_window</title>
<path fill="none" stroke="black" d="M787.61,-453.62C760.75,-443.05 725.37,-429.14 697.21,-418.07"/>
<polygon fill="black" stroke="black" points="698.78,-414.53 688.2,-414.13 696.22,-421.04 698.78,-414.53"/>
</g>
<!-- NASALib/fault_tolerance@timing_integration_stage&#45;&gt;lib/finite_sets -->
<g id="edge125" class="edge">
<title>NASALib/fault_tolerance@timing_integration_stage&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M904.31,-458.02C924.61,-454.97 941,-452.5 941,-452.5 941,-452.5 2219,-416.5 2219,-416.5 2219,-416.5 2235,-327.5 2235,-327.5"/>
</g>
<!-- NASALib/fault_tolerance@timing_window&#45;&gt;NASALib/fault_tolerance@timing_imprecision -->
<g id="edge126" class="edge">
<title>NASALib/fault_tolerance@timing_window&#45;&gt;NASALib/fault_tolerance@timing_imprecision</title>
<path fill="none" stroke="black" d="M702.25,-386.26C716.95,-383.09 729,-380.5 729,-380.5 729,-380.5 852,-356.97 934.08,-341.26"/>
<polygon fill="black" stroke="black" points="934.7,-344.51 943.87,-339.2 933.39,-337.64 934.7,-344.51"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_1 -->
<g id="node65" class="node">
<title>NASALib/fault_tolerance@virtual_clock_1</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2138" cy="-398.5" rx="68.75" ry="18"/>
<text text-anchor="middle" x="2138" y="-393.45" font-family="Times,serif" font-size="14.00">virtual_clock_1</text>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_1&#45;&gt;NASALib/fault_tolerance@synch_protocol_invariants -->
<g id="edge127" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_1&#45;&gt;NASALib/fault_tolerance@synch_protocol_invariants</title>
<path fill="none" stroke="black" d="M2104.53,-382.48C2082.27,-372.49 2052.72,-359.23 2028.21,-348.24"/>
<polygon fill="black" stroke="black" points="2029.96,-344.74 2019.41,-343.84 2027.1,-351.12 2029.96,-344.74"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clocks -->
<g id="node68" class="node">
<title>NASALib/fault_tolerance@virtual_clocks</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1651" cy="-326.5" rx="63.12" ry="18"/>
<text text-anchor="middle" x="1651" y="-321.45" font-family="Times,serif" font-size="14.00">virtual_clocks</text>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_1&#45;&gt;NASALib/fault_tolerance@virtual_clocks -->
<g id="edge128" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_1&#45;&gt;NASALib/fault_tolerance@virtual_clocks</title>
<path fill="none" stroke="black" d="M2086.41,-386.26C2071.9,-383.09 2060,-380.5 2060,-380.5 2060,-380.5 1834.43,-351.27 1718.32,-336.22"/>
<polygon fill="black" stroke="black" points="1718.81,-332.63 1708.44,-334.81 1717.91,-339.57 1718.81,-332.63"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_2 -->
<g id="node66" class="node">
<title>NASALib/fault_tolerance@virtual_clock_2</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1982" cy="-398.5" rx="68.75" ry="18"/>
<text text-anchor="middle" x="1982" y="-393.45" font-family="Times,serif" font-size="14.00">virtual_clock_2</text>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_2&#45;&gt;NASALib/fault_tolerance@synch_protocol_invariants -->
<g id="edge129" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_2&#45;&gt;NASALib/fault_tolerance@synch_protocol_invariants</title>
<path fill="none" stroke="black" d="M1982,-380.2C1982,-372.74 1982,-363.82 1982,-355.47"/>
<polygon fill="black" stroke="black" points="1985.5,-355.6 1982,-345.6 1978.5,-355.6 1985.5,-355.6"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_2&#45;&gt;NASALib/fault_tolerance@virtual_clocks -->
<g id="edge130" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_2&#45;&gt;NASALib/fault_tolerance@virtual_clocks</title>
<path fill="none" stroke="black" d="M1930.64,-386.16C1916.52,-383.04 1905,-380.5 1905,-380.5 1905,-380.5 1786.77,-355.83 1711.63,-340.15"/>
<polygon fill="black" stroke="black" points="1712.38,-336.52 1701.88,-337.91 1710.95,-343.38 1712.38,-336.52"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_top -->
<g id="node67" class="node">
<title>NASALib/fault_tolerance@virtual_clock_top</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2118" cy="-470.5" rx="75.92" ry="18"/>
<text text-anchor="middle" x="2118" y="-465.45" font-family="Times,serif" font-size="14.00">virtual_clock_top</text>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_top&#45;&gt;NASALib/fault_tolerance@virtual_clock_1 -->
<g id="edge131" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_top&#45;&gt;NASALib/fault_tolerance@virtual_clock_1</title>
<path fill="none" stroke="black" d="M2122.94,-452.2C2125.1,-444.65 2127.68,-435.62 2130.09,-427.18"/>
<polygon fill="black" stroke="black" points="2133.73,-428.18 2133.11,-417.6 2127,-426.26 2133.73,-428.18"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clock_top&#45;&gt;NASALib/fault_tolerance@virtual_clock_2 -->
<g id="edge132" class="edge">
<title>NASALib/fault_tolerance@virtual_clock_top&#45;&gt;NASALib/fault_tolerance@virtual_clock_2</title>
<path fill="none" stroke="black" d="M2087.14,-453.62C2067.79,-443.66 2042.65,-430.72 2021.81,-419.99"/>
<polygon fill="black" stroke="black" points="2023.76,-416.54 2013.27,-415.08 2020.56,-422.77 2023.76,-416.54"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@event_sequences -->
<g id="edge133" class="edge">
<title>NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@event_sequences</title>
<path fill="none" stroke="black" d="M1617.88,-310.83C1594.47,-300.46 1562.84,-286.44 1537.27,-275.11"/>
<polygon fill="black" stroke="black" points="1539,-271.61 1528.44,-270.76 1536.17,-278.01 1539,-271.61"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@interval_clocks -->
<g id="edge134" class="edge">
<title>NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@interval_clocks</title>
<path fill="none" stroke="black" d="M1651,-308.2C1651,-300.74 1651,-291.82 1651,-283.47"/>
<polygon fill="black" stroke="black" points="1654.5,-283.6 1651,-273.6 1647.5,-283.6 1654.5,-283.6"/>
</g>
<!-- NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@inverse_clocks -->
<g id="edge135" class="edge">
<title>NASALib/fault_tolerance@virtual_clocks&#45;&gt;NASALib/fault_tolerance@inverse_clocks</title>
<path fill="none" stroke="black" d="M1592,-319.6C1453.85,-305.79 1121,-272.5 1121,-272.5 1121,-272.5 1114.96,-271.13 1106.31,-269.17"/>
<polygon fill="black" stroke="black" points="1107.13,-265.54 1096.61,-266.74 1105.59,-272.37 1107.13,-265.54"/>
</g>
<!-- NASALib/fault_tolerance@weber_overlap -->
<g id="node69" class="node">
<title>NASALib/fault_tolerance@weber_overlap</title>
<ellipse fill="#e6f3ff" stroke="black" cx="402" cy="-470.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="402" y="-465.45" font-family="Times,serif" font-size="14.00">weber_overlap</text>
</g>
<!-- NASALib/fault_tolerance@weber_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties -->
<g id="edge136" class="edge">
<title>NASALib/fault_tolerance@weber_overlap&#45;&gt;NASALib/fault_tolerance@reduce_properties</title>
<path fill="none" stroke="black" d="M398.4,-452.15C395.19,-436.69 391,-416.5 391,-416.5 391,-416.5 391,-380.5 391,-380.5 391,-380.5 421.04,-363.56 447.16,-348.84"/>
<polygon fill="black" stroke="black" points="448.55,-351.51 455.54,-343.55 445.11,-345.41 448.55,-351.51"/>
</g>
<!-- NASALib/fault_tolerance@weber_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage -->
<g id="edge137" class="edge">
<title>NASALib/fault_tolerance@weber_stage&#45;&gt;NASALib/fault_tolerance@inexact_reduce_stage</title>
<path fill="none" stroke="black" d="M508.05,-526.65C527.4,-516.77 553.11,-503.63 574.59,-492.66"/>
<polygon fill="black" stroke="black" points="575.8,-495.46 583.12,-487.79 572.62,-489.22 575.8,-495.46"/>
</g>
<!-- NASALib/fault_tolerance@weber_stage&#45;&gt;NASALib/fault_tolerance@weber_overlap -->
<g id="edge138" class="edge">
<title>NASALib/fault_tolerance@weber_stage&#45;&gt;NASALib/fault_tolerance@weber_overlap</title>
<path fill="none" stroke="black" d="M461.14,-525.26C451.37,-516.38 439.08,-505.21 428.24,-495.35"/>
<polygon fill="black" stroke="black" points="431.05,-493.27 421.3,-489.13 426.34,-498.45 431.05,-493.27"/>
</g>
</g>
</svg>