Computer aided verification of CMMs