KVEST: Automated Generation of Test Suites from Formal Specifications. - Igor B. Burdonov; Alexander S. Kossatchev; Alexander K. Petrenko; Dmitri Galter (World Congress on Formal Methods, 1999)