Recon: Verifying file system consistency at runtime. - Daniel Fryer; Kuei Sun; Rahat Mahmood; Tinghao Cheng; Shaun Benjamin; Ashvin Goel; Angela Demke Brown (ACM Trans. Storage, 2012)