Towards Explainability in Machine Learning: The Formal Methods Way - Gossen, F.; Margaria, T.; Steffen, B. (IT Professional, IT Prof., 2020)