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. Programming and Computer Software, 33(5):272-282, 2007. [doi]
Abstract is missing.