@article{article, title  = {{Analysing high-integrity systems}},

 publisher = {{Institution of Engineering and Technology (IET)}},

 url = {{}},

 year = {{-0001}},

 month = {{11}},

 author = {{Clark JA and McDermid JA and Burns A}},

 doi = {{10.1049/cce:19940103}},

 volume = {{5}},

 journal = {{Computing & Control Engineering Journal}},

 issue = {{1}},

 pages = {{18-23}},

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