Person. Joost-Pieter Katoen Full Professor, Computer Science · RWTH Aachen University · 0000-0002-6143-1926 PhD advisorChris Vissers, Ed Brinksma PhD studentsKevin Batz PhDUniversity of Twente Master’sUniversity of Twente