A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems - A. V. Kolchin; A. A. Letichevskij; S. V. Potienko (Artificial intelligence, 2015)