Computational modeling of spinal circuits controlling limb coordination and gaits in quadrupeds | Synapse