Model Checking Strategies for Linear Hybrid Systems