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