@article{tabuada_formal_nodate,
	title = {Formal {Methods} in {Bipedal} {Robotic} {Walking}},
	language = {en},
	journal = {Formal methods},
	author = {Tabuada, Paulo and Ames, Aaron and Grizzle, Jessy},
	pages = {63}
}