Lustre programming language