A reliable model-based walking engine with push recovery capability | IEEE Conference Publication | IEEE Xplore