%0 Conference Paper
%B High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International
%D 2016
%G eng
%I IEEE
%T High-level modeling for computer-aided clinical trials of medical devices