Vineet Gupta 0001 Radha Jagadeesan Vijay A. Saraswat Hybrid cc, Hybrid Automata and Program Verification. 52-63 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#GuptaJS95 https://doi.org/10.1007/BFb0020935