Text this: Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.