Lyapunov-based missile terminal guidance with short time convergence considering seeker's first-order lag. (August 2017)