Requirements for Modeling and Simulation of Self-Adaptive Systems: A Hierarchical and Modular Approach | IEEE Conference Publication | IEEE Xplore