Leram - Optimization Based Clearance of Flight Control Laws: A Civil Aircraft Application: 416