Text this: Advanced techniques for clearance of flight control laws /