ModelEd, TestEd, TrustEd - Joost-Pieter Katoen, Rom Langerak, Arend Rensink (Springer, 2017)