The use of contract specifications for representing requirements and for functional testing of hardware models.

V. P. Ivannikov A. S. Kamkin Alexander Kossatchev Victor V. Kuliamin Alexander K. Petrenko The use of contract specifications for representing requirements and for functional testing of hardware models. 272-282 2007 33 Programming and Computer Software 5 http://dx.doi.org/10.1134/S0361768807050039 db/journals/pcs/pcs33.html#IvannikovKKKP07