Animatronics Workshop: A Theater + Engineering Collaboration at a High School | IEEE Journals & Magazine | IEEE Xplore