Person. Ed Brinksma University of Twente · people.utwente.nl/h.brinksma PhD advisorChris Vissers, Giuseppe Scollo PhD studentsJoost-Pieter Katoen PhDUniversity of Twente