Structuring simulink models for verification and reuse.

Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Browse the full ICSE paper archive.