Text this: An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency