Analysis of Dead Reckoning Procedures by Using Hybrid Automata. - Bahadir Kaan Ozutam; Halit Oguztüzün (DIS-RT, 1999)