Strategies for Improving Verification Techniques for Hybrid Systems door Simon Carroll