A method for reduction of analyzed behavior space during verification of formal models of distributed software systems - A. V. Kolchin (Artificial intelligence, 2013)