@article{journals/tcs/BoltonL05,
  author = "Christie Bolton and Gavin Lowe",
  doi = "10.1016/j.tcs.2004.10.004",
  journal = "Theoretical Computer Science",
  number = "3",
  pages = "407-438",
  title = "A hierarchy of failures-based models: theory and application",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/EXPRESS.ps",
  volume = "330",
  year = "2005",
}