Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems | Publicación