Modeling and Verifying Google File System
Model checking csp revisited: Introducing a process analysis toolkit