Abramov B., Levin
I., Ostrovsky V. (2007), CAD system for analysis of the behavior of
faulty FSM, Proceedings of the Six International Conference on CAD of
Discrete Devices, Minsk, November, Vol. 2, pp. 276-283.