Construction of a Smooth Lyapunov Function for the Robust and Exact Second-Order Differentiator. (4th April 2016)