Podyachev, and Afanasyev, 2006. Formal model translation testing. SPIIRAS Proceedings. 2, 3 (Apr. 2006), 156-161. DOI:https://doi.org/10.15622/sp.3.12.