Zélus – A synchronous language with ODEs