Media type: E-Article Title: Assurances for Self-Adaptive Systems: Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice Contributor: Steinbauer, Gerald; Wotawa, Franz Published: Springer Berlin Heidelberg, 2013 Published in: Assurances for Self-Adaptive Systems (2013), Seite 187-213 Language: Not determined DOI: 10.1007/978-3-642-36249-1_7 ISSN: 0302-9743; 1611-3349 Origination: Footnote: