Stable Availability under Denial of Service Attacks through Formal Patterns | Publicación