FERRARI: A tool for the validation of system dependability properties (1992)

by G A Kanawati, N A Kanawati, J A Abraham
Venue:in Proc. 22nd Ann. Int’l Symp. Fault-Tolerant Computing (FTCS 92