Control- & Task-Aware Optimal Design of Actuation System for Legged Robots Using Binary Integer Linear Programming | IEEE Conference Publication | IEEE Xplore