Text this: Safety Analysis of Helicopter Models using Hybrid Systems with Geometric Programming