Rostislav Yavorskiy and Iosif Itkin
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
7-9 November 2019, Tbilisi
Presentation: https://speakerdeck.com/exactpro/development-of-test-suite-with-formally-verified-fsm-coverage-a-case-study