%0 Journal Article 
%F briandjeannet10
%A Briand, X.
%A Jeannet, B.
%T Combining control and data abstraction in the verification of hybrid systems
%J Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
%V 29
%N 10
%I IEEE
%U http://dx.doi.org/10.1109/TCAD.2010.2066010
%D 2010