Title: Real-time Control of Walking (Progress in Computer Science and Applied Logic (PCS))