Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock - Roscoe, A; Gardiner, P; Goldsmith, M; Hulance, J; Jackson, D; Scattergood, J (Springer Berlin/Heidelberg, 1995)