ModelEd, TestEd, TrustEd - Katoen, Joost-Pieter (Springer International Publishing, 2020)