Francesco Ballarin <francesco.ballarin@unicatt.it>

with contributions from

Teeratorn Kadeethum <tk658@cornell.edu>
Felipe Rocha <felipe.figueredorocha@epfl.ch>
Ricardo Ruiz Baier <ruizbaier@maths.ox.ac.uk>
Maria Strazzullo <mstrazzu@sissa.it>
Zakia Zainib <zzainib@sissa.it>
