%0 Journal Article
%B Foundations and Trends in Electronic Design Automation
%D 2015
%G eng
%T High-Confidence Medical Device Software Development
%V 9