A time-efficient implementation of Extended Kalman Filter for sequential orbit determination and a case study for onboard application. Issue 2 (15th July 2018)