Jhumka, Arshad : Automated Design of Efficient Fail-Safe Fault Tolerance. [Online-Edition] TU Darmstadt [Ph.D. Thesis], (2004)