Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets | IEEE Conference Publication | IEEE Xplore