1. Department of Orofacial Pain and Dysfunction Academic Centre for Dentistry Amsterdam (ACTA) University of Amsterdam and Vrije Universiteit Amsterdam Amsterdam The Netherlands
2. Formal Methods and Tools Group Faculty of EEMCS University of Twente Enschede The Netherlands