A taxonomy of uncertainty for dynamically adaptive systems
Model-based development of dynamically adaptive software