@inproceedings{roscoe1995hierarchical,
  title = "Hierarchical compression for model-checking CSP or how to check 10 20 dining philosophers for deadlock",
  author = "Roscoe, A and Gardiner, P and Goldsmith, Michael and Hulance, J and Jackson, D and Scattergood, J",
  year = "1995",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  organization = "Springer Berlin/Heidelberg",
  pages = "133--152",
}