Analysis of dead reckoning procedures by using hybrid automata | IEEE Conference Publication | IEEE Xplore