SimCheck: a contract type system for Simulink

Pritam Roy, Natarajan Shankar. SimCheck: a contract type system for Simulink. ISSE, 7(2):73-83, 2011. [doi]

Abstract

Abstract is missing.