Antonio Cau Willem P. de Roever Specifying Fault Tolerance within Stark's Formalism. 392-401 1993 conf/ftcs/1993 FTCS db/conf/ftcs/ftcs93.html#CauR93 http://doi.ieeecomputersociety.org/10.1109/FTCS.1993.627342