Storage Systems are Distributed Systems (So Verify Them That Way!) | USENIX
www.usenix.org