Ariadne: A common-sense thread for enabling provable safety in air mobility systems with unreliable components link