ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend. (Programming and Software Engineering, 2017)