Programmable system for semen collection in mice | IEEE Conference Publication | IEEE Xplore