@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/22}}}