The Pachinko Framework For Analysis Of Fault Management Systems