Human level walking gait modeling and analysis based on semi-Markov process | IEEE Conference Publication | IEEE Xplore