Wang Ji He Weidong Formal Specification of Stability in Hybrid Control Systems. 294-303 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#JiW95