Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach | Publicación