Oreste : a Reliable Reactive Real-Time Language.

Pierre Molinaro, Olivier H. Roux

Browse the full SAFECOMP paper archive.