Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints | Publicación