Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers - Calinescu, Radu; Jackson, Ethan (Springer Berlin Heidelberg, 2011)