A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems