Flapping flight for biomimetic robotic insects: part I-system modeling | IEEE Journals & Magazine | IEEE Xplore