Design of a microscope auto-focusing device based on multi-stage leaf spring | IEEE Conference Publication | IEEE Xplore