I.B.Bourdonov, A.S.Kossatchev, A.K.Petrenko, V.V.Kuliamin. Experiences in using testing tools and technology in real-life applications. Proceedings of SETT’01, India, Pune, 2001, pp. 3-39. 37 стр. pdf