Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests.

Aleksandr A. Kerzhner, Christiaan J. J. Paredis

Browse the full MODELS paper archive.