Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty | Publicación