Using data-integrity constraints in model-based design.

Sukhamay Kundu Using data-integrity constraints in model-based design. 288-295 2007 conf/sede/2007 SEDE db/conf/sede/sede2007.html#Kundu07