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