Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel 0001. A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Software: Practice and Experience, 51(6):1387-1415, 2021. [doi]
Abstract is missing.