A computational tool to improve flapping efficiency of robotic insects | IEEE Conference Publication | IEEE Xplore