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

Akim Demaille
Andreas Tollkötter
Andrew Wells
Anton Pirogov
Ayrat Khalimov
Cambridge Yang
Caroline Lemieux
Christian Dax
Christopher Ziegler
Clément Tamines
David Müller
Ernesto Posse
Étienne Renault
Fabrice Kordon
Felix Klaedtke
Florian Perlié-Long
František Blahoudek
Gerard J. Holzmann
Hashim Ali
Heikki Tauriainen
Henrich Lauko
Jan Strejček
Jean-Michel Couvreur
Jean-Michel Ilié
Jens Kreber
Jeroen Meijer
Jiraphapa Jiravaraphan
Joachim Klein
Juan Tzintzun
Juraj Major
Kristin Y. Rozier
Marc Espie
Martin Dieguez Lodeiro
Matthias Heizmann
Maxime Bouton
Michaël Cadilhac
Michael Tautschnig
Michael Weber
Mikuláš Klokočka
Ming-Hsien Tsai
Nikos Gorogiannis
Paul Guénézan
Reuben Rowe
Roei Nahum
Rüdiger Ehlers
Silien Hong
Simon Jantsch
Shengping Shaw
Shufang Zhu
Sonali Dutta
Tereza Šťastná
Tobias Meggendorfer.
Tomáš Babiak
Valentin Iovene
Victor Khomenko
Vitus Lam
Yann Thierry-Mieg
Yannick Molinghen
Yechuan Xia
Yong Li
Yuri Victorovich