A Guide for Human Walking Model and Control — Insights from Mechanical Property Analysis of Human Walking | IEEE Conference Publication | IEEE Xplore