@phdthesis{ethos-13884,
  title = {Observation-enhanced verification of operational processes},
  author = {Colin Paterson},
  year = {2018},
  url = {http://etheses.whiterose.ac.uk/23257/},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-13884},
  cites = {0},
  citedby = {0},
  school = {University of York, UK},
}