Strategies For Improving Verification Techniques For Hybrid Systems