A formal messaging notation for Alaskan aviation data / - Rios, Joseph L.