Dylan Zueck, Nathaniel Atallah, Ian Do, Zhihao Yao, Ardalan Amiri Sani: Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones. APSys 2024: 115-121