Christian W. Frei, Frantisek J. Kraus, Mogens Blanke: Recoverability viewed as a system property. ECC 1999: 2197-2202