Strategies for Improving Verification Techniques for Hybrid Systems