Juan F. Inglés-Romero, Cristina Vicente-Chicote. Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems. In Xavier Franch, Pnina Soffer, editors, Advanced Information Systems Engineering Workshops - CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings. Volume 148 of Lecture Notes in Business Information Processing, pages 432-446, Springer, 2013. [doi]