Vincent Andrieu, Bayu Jayawardhana, Laurent Praly: On transverse exponential stability and its use in incremental stability, observer and synchronization. CDC 2013: 5915-5920