FIG: A prototype tool for online verification of recovery mechanisms (2002)

by P A Broadwell, N Sastry, J Traupman
Venue:In Workshop on Self-Healing, Adaptive and Self-Managed Systems