Lukin, M. and Shalyto, A. 2013. Development and Automatic Verification of Parallel Automatа-Based Software. Information and Control Systems. 5 (Oct. 2013), 3–50.