A risk analysis framework for real-time control systems. - Mads R. Bisgaard; Alexander Domahidi (CoRR, 2021)