Proceedings of the Workshop on Rigorous Engineering of Fault-tolerant Systems (REFT 2005) at the 13th International Symposium of Formal Methods, Newcastle upon Tyne, UK, July 19 2005. Published by University of Newcastle upon Tyne in 2005. Publication and catalogue information, links to buy online and reader comments.