A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation | Publicación