PROBABILISTIC MODELING OF RANDOM VARIABLES AND K-SOLUTION DEVELOPMENTS FOR GENERAL AVIATION * EXTENSIONS TO THE SMART/DT SOFTWARE