Efficient timed reachability analysis using clock difference diagrams. (1999)

by G Behrmann, K Larsen, J Pearson, C Weise, W Yi
Venue:In International Conf. on Computer Aided Verification,