ejo abantu bangahe baje muri pariki waynesville regional airport at forney field serves the community with air service the hytech model checking tool is based on this model