A Formal Approach to Heuristically Test Restorable Systems | Publicación