M. Schlüter and G. Nolte, “Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models”, ECEASST, vol. 82, Oct. 2023.