%0 Journal Article
%T Model-Based Analysis
%A Robert, Thomas
%A Hugues, Jérôme
%A ,
%J Embedded Systems
%P 251-264
%D 2013-09-20
%I John Wiley & Sons, Inc.
%~ DeepDyve