Formal Verification of a Fully Automated Out-of-Plane Cell Injection System | IEEE Conference Publication | IEEE Xplore