Paper “Analytical Closed-Form Estimation of Position Error on ZUPT-Augmented Pedestrian Inertial Navigation” is accepted at IEEE Sensors Letters