Zélus: A Synchronous Language with ODEs (2013) [pdf]

This looks very interesting! Can someone with more understanding than me explain what this is about? :)

EDIT: Found this: http://zelus.di.ens.fr/