Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software