EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software. - Deshuai Han; Qiliang Yang; Jianchun Xing; Guang-Lian Ma (J. Comput. Sci. Technol., 2020)