Burdonov, et al.. KVEST: Automated Generation of Test Suites from Formal Specifications. Springer Berlin Heidelberg, 1999, doi:10.1007/3-540-48119-2_34.