Gopal Gupta Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. 230-239 1997 conf/rtss/1997 RTSS http://doi.ieeecomputersociety.org/10.1109/REAL.1997.641285 db/conf/rtss/rtss1997.html#GuptaP97