Alessandro Astolfi, Romeo Ortega, Aneesh Venkatraman: Global observer design for mechanical systems with non-holonomic constraints. ACC 2010: 202-207