@article{2021-araujo-spe-j,
  author  = {Patr{\'{\i}}cia Ara{\'{u}}jo de Oliveira and
             Francisco Dur{\'{a}}n and
             Ernesto Pimentel},
  title   = {A procedural and flexible approach for specification, modeling, definition,
             and analysis for self-adaptive systems},
  journal = {Softw. Pract. Exp.},
  volume  = {51},
  number  = {6},
  pages   = {1387-1415},
  year    = {2021},
  doi     = {10.1002/spe.2962}
}