Silvano Chiaradonna Andrea Bondavalli Lorenzo Strigini On Performability Modeling and Evaluation of Software Fault Tolerant Structures. 97-114 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#ChiaradonnaBS94 http://dx.doi.org/10.1007/3-540-58426-9_126