Michel Sintzoff Abstract Verification of Structured Dynamical Systems. 126-137 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#Sintzoff95