Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, ... Notes in Computer Science, Band 6662)