Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. - Gabriel Duarte Pasa; Valdivino Alexandre de Santiago Júnior (ICCSA (4), 2021)