A language for the Internet of Things