Some examples on the usage of synchronous languages: http://zelus.di.ens.fr/examples.html#ex-bouncingball