Real-Time System Availability for Cyber-Physical Systems - Wang, Jinwen (ProQuest Dissertations and Theses, 2025)