Yuliya Prokhorova Rigorous Development of Safety-Critical