High-Integrity Modeling Of Non-Stationary Kalman Filter Input Error Processes And Application To Aircraft Navigation