David Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237