Michele Basso, Paolo Paoletti, Bruno Tiribilli, Massimo Vassalli: Modeling and analysis of auto-tapping AFM. CDC 2008: 5188-5193