Lukin, Mikhail, and Anatolii Shalyto. 2013. “Development and Automatic Verification of Parallel Automatа-Based Software”. Information and Control Systems, no. 5 (October), 3–50. https://i-us.ru/index.php/ius/article/view/13674.