M. Lukin and A. Shalyto, “Development and Automatic Verification of Parallel Automatа-Based Software”, ICS, no. 5, pp. 3–50, Oct. 2013.