Towards improved survivability in safety-critical systems | Publicación