We are grateful to these people for their comments, help, or
suggestions.

Akim Demaille
Ayrat Khalimov
Caroline Lemieux
Christian Dax
Christopher Ziegler
David Müller
Ernesto Posse
Étienne Renault
Fabrice Kordon
Felix Klaedtke
František Blahoudek
Gerard J. Holzmann
Heikki Tauriainen
Jan Strejček
Jean-Michel Couvreur
Jean-Michel Ilié
Joachim Klein
Juraj Major
Kristin Y. Rozier
Martin Dieguez Lodeiro
Matthias Heizmann
Michael Tautschnig
Michael Weber
Ming-Hsien Tsai
Nikos Gorogiannis
Reuben Rowe
Rüdiger Ehlers
Silien Hong
Shufang Zhu
Sonali Dutta
Tomáš Babiak
Valentin Iovene
Vitus Lam
Yann Thierry-Mieg
