@inproceedings{geambasu:08,
 author = {Roxana Geambasu and John MacCormick and Andrew Birrell},
 title = {Experiences with Formal Specification of Fault-Tolerant File Systems},
 booktitle = {Proc. of the 38th {Annual IEEE/IFIP International Conference on Dependable Systems and Networks} ({DSN-DCCS})},
 year = {2008},
 location = {Anchorage, Alaska}
 }