Runtime Model-Based Safety Analysis of Self-Organizing Systems with S# | IEEE Conference Publication | IEEE Xplore