1
Rigorous Engineering of Fault-Tolerant Systems [E-Book] /
2
Methods, Models and Tools for Fault Tolerance [E-Book] /