Alkhiyami, MohammadMohammadAlkhiyamiMartino, GianlucaGianlucaMartinoFey, GoerschwinGoerschwinFey2026-06-222026-06-222026-04Design, Automation and Test in Europe Conference, DATE 2026https://hdl.handle.net/11420/63605Modern interacting digital systems are becoming increasingly complex, making it difficult to ensure their actual behavior aligns with design-time expectations, particularly in uncertain or dynamic environments, even when specifications are correct. This misalignment affects system scalability, reliability, and increases maintenance costs. We introduce a conceptual framework for identifying and self-explaining mismatches between expected and observed system behavior, together with an algorithm that generates explanations and case studies that apply the conceptual framework for explanation generation in an interacting digital systems setting.enaction-oriented explanationand cyber-physical systemsFormal methodsknowledge representation and reasoninglogic and verificationmodel checkingComputer Science, Information and General Works::004: Computer SciencesTechnology::600: TechnologyConference Paper10.23919/DATE69613.2026.11539701