Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification | Publicación