Title: Computational probability for aeronautical engineering