Title: Automatic Specification of Reliability Models for Fault-Tolerant Computers