Aerodynamic comparison of a butterfly-like flapping wing–body model and a revolving-wing model