1. Model-Based Adaptation for Robotics Software
2. Fuzzy Goals for Requirements-Driven Adaptation
3. Fuzzy Logic Based Utility Function for Context-Aware Adaptation Planning
4. Requirements reflection
5. Andrea Bianco and Luca de Alfaro . 1995. Model checking of probabilistic and nondeterministic systems . In Foundations of Software Technology and Theoretical Computer Science , P. S. Thiagarajan (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 499--513. Andrea Bianco and Luca de Alfaro. 1995. Model checking of probabilistic and nondeterministic systems. In Foundations of Software Technology and Theoretical Computer Science, P. S. Thiagarajan (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 499--513.