Manindra Agrawal Frank Stephan P. S. Thiagarajan Shaofa Yang Behavioural Approximations for Restricted Linear Differential Hybrid Automata. 4-18 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_4 db/conf/hybrid/hscc2006.html#AgrawalSTY06