reliable systems : fault tree analysis via markov reward automata .
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System