Determining Configuration Probabilities of Safety-Critical Adaptive Systems | IEEE Conference Publication | IEEE Xplore