Lukin, M., & Shalyto, A. (2013). Development and Automatic Verification of Parallel Automatа-Based Software. Information and Control Systems, (5), 3–50. Retrieved from https://i-us.ru/index.php/ius/article/view/13674