Runtime Safety Assurance for Adaptive Cyber-Physical Systems | Publicación