This repository contains the source code and experimental artifacts accompanying the paper: M. Alkhiyami, G. Martino, and G. Fey, Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems, Design, Automation and Test in Europe Conference (DATE), 2026. The artifacts implement the algorithm for automatically generating explanations of mismatches between expected and perceived behavior in interacting digital systems, as presented in the paper. The implementation follows the bounded model checking and SMT-based formulation described in Sections IV–V. The experimental artifacts make use of the DuRTL framework, which provides the infrastructure for hardware model parsing and SMT-based bounded model checking. Contents Source code implementing the explanation algorithm Models of interacting systems (Mealy machines and assumptions) Experimental setups for the wind park–turbine and traffic controller–autonomous vehicles case studies Scripts and configuration files used to reproduce the reported experiments and results PurposeThe artifacts are provided to support transparency, reproducibility, and further research on self-explaining interacting digital systems.