A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems | Publicación