Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. - Vincent David; Jean Delcoigne; Evelyne Leret; Alain Ourghanlian; Philippe Hilsenkopf; Philippe Paris (SAFECOMP, 1998)