Christian Haack (chaack@cs.ru.nl, contact person)
Security of Systems Group,
Faculty of Science , Radboud University Nijmegen,
Postbus 9010, 6500 GL Nijmegen,
The Netherlands

Marieke Huisman (Marieke.Huisman@sophia.inria.fr)
INRIA Sophia Antipolis,
2004, route des Lucioles BP 93,
06902 Sophia Antipolis,
France

Joe Kiniry (kiniry@acm.org)
Computer Science and Informatics Centre,
UCD Dublin,
Belfield, Dublin 4,
Ireland

Erik Poll (erikpoll@cs.ru.nl)
Security of Systems Group,
Faculty of Science , Radboud University Nijmegen,
Postbus 9010, 6500 GL Nijmegen,
The Netherlands