Specification of Reactive Hardware/Software Systems - Electronic ...

Acknowledgements
There are a lot of people who supported us in our research and in the writing of this
thesis. We thank them all, but want to mention a number of people explicitly.
We would like to start with our first promotor prof. Mario Stevens. He initiated the
research in specification methods and brought us together. In spite of his own workload,
he has been a continuous source of inspiration, support and encouragement. He has the
talent of being a supervisor and a friend simultaneously.
We thank the following (ex-)members and (ex-)students of the Information and Communication
Systems Group for their support, contributions and discussions or for their
comments on earlier drafts of this thesis: second promotor prof. Jochen Jess, co-promotor
Ad Verschueren, Rudi Bloks, Leo van Bokhoven, Max Bonsel, Wil Brant, Ad Chamboné,
Sherif El-Kassas, Mark van Felius, Rian van Gaalen, Marc Geilen, Ton van Hekezen,
Marcel Kolsteren, prof. Cees Jan Koomen, Wido Kruijtzer, Pieter Kuppens, Renáta
Liskova, Maurice de Leijer, Inder Mankoe, Robin Michielsen, Cyriel Minkenberg, Andy
Ong, Ardo van Rangelrooij, Emil Reuter, Willem Rovers, Niels van Tetrode, Frank Volf,
Harald Vranken, Rinus van Weert and Alex Wijffels.
We acknowledge the members and ex-members of the Formal Methods Group for their
help and suggestions. In particular we thank prof. Jos Baeten, Frank de Boer and Kees
Huizing for studying and commenting on (earlier drafts of) the formal part of this thesis.
From the Section of Systems Engineering, Faculty of Mechanical Engineering, we would
like to thank prof. Koos Rooda for his valuable comments.
We carried out our case study at Buhrs B.V. in Zaandam. Thank you Ruurd Boomsma,
Jan Hendriks, Jan Willem van Kampen, Nico van Kampen, Erik Kivits, Ron Timmerman
and Mathijs Vonder for your confidence, enthusiasm and for giving us the opportunity
to participate in the real world of complex system development. We also thank Theo
Gransier and Frank Verhofstad of TNO-TPD for their contributions in the project, and
the Ministry of Economic Affairs for the subsidy granted.
Inge, we are grateful for your help in translating Word into Latex. Jeroen, we are proud
of your design of the cover.
Finally we would like to thank all our relatives, family and friends for their love and
understanding.
v