[2404.11271] Milling using two mechatronically coupled robots