Drobintsev, et al.. Technology Aspects of State Explosion Problem Resolving for Industrial Software Design. Institute for System Programming of the Russian Academy of Sciences, 2013, doi:10.15514/syrcose-2013-7-7.