Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. - Ahmad, Manzoor; Belloir, Nicolas; Bruel, Jean-Michel (Journal of Systems & Software, 2015)