A Lyapunov approach to incremental stability. - Angeli, David (2000)