Phase automata: a programming model of locomotion gaits for scalable chain-type modular robots | IEEE Conference Publication | IEEE Xplore