Title: Run Time Assurance for Electric Vertical Takeoff and Landing Aircraft