@article{journals/entcs/BoltonL04,
  author = "Christie Bolton and Gavin Lowe",
  doi = "10.1016/j.entcs.2004.04.025",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "129-152",
  title = "A Hierarchy of Failures-Based Models",
  volume = "96",
  year = "2004",
}