Algorithmic Air Data Computer Model for General Aviation Light Aircraft | IEEE Conference Publication | IEEE Xplore