=== ARD Model ===

  * {{hekate_case_health-mdl.pl|The full VARDA model (in Prolog)}}
  * {{hekate_case_health-ard.hml|HML file with the full ARD model}}

^ ARD diagram of the system ^ Corresponding THP  ^ Full ARD Model of the system ^
| {{hekate_case_health-ard.png}} | {{hekate_case_health-tph.png}} | {{hekate_case_health-mdl.png}} |
| ({{hekate_case_health-ard.pdf|PDF}},{{hekate_case_health-ard.fig|FIG}},{{hekate_case_health-ard.dot|DOT}}) | ({{hekate_case_health-tph.pdf|PDF}},{{hekate_case_health-tph.fig|FIG}},{{hekate_case_health-tph.dot|DOT}}) | ({{hekate_case_health-mdl.pdf|PDF}},{{hekate_case_health-mdl.fig|FIG}},{{hekate_case_health-mdl.dot|DOT}}) |

=== ARD Full Design ===

^ No. ^ ARD diagram of a given level ^ Corresponding THP  ^ ARD Model at the given level^
| 5 | {{hekate_case_health-5-ard.png}} | {{hekate_case_health-5-tph.png}} | {{hekate_case_health-5-mdl.png}} | {{hekate_case_health-hjd5.png}} |
| 4 | {{hekate_case_health-4-ard.png}} | {{hekate_case_health-4-tph.png}} | {{hekate_case_health-4-mdl.png}} | {{hekate_case_health-hjd4.png}} |
| 3 | {{hekate_case_health-3-ard.png}} | {{hekate_case_health-3-tph.png}} | {{hekate_case_health-3-mdl.png}} | {{hekate_case_health-hjd3.png}} |
| 2 | {{hekate_case_health-2-ard.png}} | {{hekate_case_health-2-tph.png}} | {{hekate_case_health-2-mdl.png}} | {{hekate_case_health-hjd2.png}} |
| 1 | {{hekate_case_health-1-ard.png}} | {{hekate_case_health-1-tph.png}} | {{hekate_case_health-1-mdl.png}} | {{hekate_case_health-hjd1.png}} |


=== ARD Design Files ===

^ No. ^ ARD diagram of a given level ^ Corresponding THP  ^ ARD Model at the given level^
| 5 | ({{hekate_case_health-5-ard.pdf|PDF}},{{hekate_case_health-5-ard.fig|FIG}},{{hekate_case_health-5-ard.dot|DOT}}) | ({{hekate_case_health-5-tph.pdf|PDF}},{{hekate_case_health-5-tph.fig|FIG}},{{hekate_case_health-5-tph.dot|DOT}}) | ({{hekate_case_health-5-mdl.pdf|PDF}},{{hekate_case_health-5-mdl.fig|FIG}},{{hekate_case_health-5-mdl.dot|DOT}}) |
| 4 | ({{hekate_case_health-4-ard.pdf|PDF}},{{hekate_case_health-4-ard.fig|FIG}},{{hekate_case_health-4-ard.dot|DOT}}) | ({{hekate_case_health-4-tph.pdf|PDF}},{{hekate_case_health-4-tph.fig|FIG}},{{hekate_case_health-4-tph.dot|DOT}}) | ({{hekate_case_health-4-mdl.pdf|PDF}},{{hekate_case_health-4-mdl.fig|FIG}},{{hekate_case_health-4-mdl.dot|DOT}}) |
| 3 | ({{hekate_case_health-3-ard.pdf|PDF}},{{hekate_case_health-3-ard.fig|FIG}},{{hekate_case_health-3-ard.dot|DOT}}) | ({{hekate_case_health-3-tph.pdf|PDF}},{{hekate_case_health-3-tph.fig|FIG}},{{hekate_case_health-3-tph.dot|DOT}}) | ({{hekate_case_health-3-mdl.pdf|PDF}},{{hekate_case_health-3-mdl.fig|FIG}},{{hekate_case_health-3-mdl.dot|DOT}}) |
| 2 | ({{hekate_case_health-2-ard.pdf|PDF}},{{hekate_case_health-2-ard.fig|FIG}},{{hekate_case_health-2-ard.dot|DOT}}) | ({{hekate_case_health-2-tph.pdf|PDF}},{{hekate_case_health-2-tph.fig|FIG}},{{hekate_case_health-2-tph.dot|DOT}}) | ({{hekate_case_health-2-mdl.pdf|PDF}},{{hekate_case_health-2-mdl.fig|FIG}},{{hekate_case_health-2-mdl.dot|DOT}}) |
| 1 | ({{hekate_case_health-1-ard.pdf|PDF}},{{hekate_case_health-1-ard.fig|FIG}},{{hekate_case_health-1-ard.dot|DOT}}) | ({{hekate_case_health-1-tph.pdf|PDF}},{{hekate_case_health-1-tph.fig|FIG}},{{hekate_case_health-1-tph.dot|DOT}}) | ({{hekate_case_health-1-mdl.pdf|PDF}},{{hekate_case_health-1-mdl.fig|FIG}},{{hekate_case_health-1-mdl.dot|DOT}}) |