RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone