International Conference on Software Engineering for Adaptive and Self-Managing Systems

• Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions