Lustre: A Declarative Language for Programming Synchronous Systems.

Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice

Browse the full POPL paper archive.