A timer-based connection management protocol with synchronized clocks and its verification