LDPChecker—A Model Checking Tool for Real-Time and Hybrid System