RUSTRE

Definition of RUSTRE