Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems