@inbook{inbook, title  = {{Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach}},

 url = {{}},

 year = {{2000}},

 month = {{1}},

 author = {{Burton S and Clark JA and Galloway A and McDermid JA}},

 note = {{Accessed on 2024/12/20}}}