Describir: Real-Time System Availability for Cyber-Physical Systems