Cyber & formal methods publications June 1, 2011 ArticleSimcheck: a Contract Type System for Simulink SRI International June 1, 2011 ↓ View online Share this