Experiences in Using OMCT for Testing and Optimizing Motion Drive Algorithms | AMiner