Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations | IEEE Conference Publication | IEEE Xplore