Model Checking of Hybrid Systems using Shallow Synchronization