Text this: The art of fault-tolerant system reliability modeling