Symfor
Failure-Tolerant Systems