Exploring Static Analysis for Understanding Self-Adaptive Systems. - Claudia Raibulet; Michele Pugno (ECSA (Tracks and Workshops), 2025)