שליחה במסרון: Automatic specification of reliability models for fault-tolerant computers / Carlos A. Liceaga and Daniel P. Siewiorek.