Improvements to Evolutionary Model Consistency Checking for a Flapping-Wing Micro Air Vehicle | IEEE Conference Publication | IEEE Xplore