@article(Agrawal,
 author       = "M. Agrawal and N. Kayal and N. Saxena",
 year         = "2004",
 title        = "PRIMES is in P",
 journal      = "Annals of Mathematics",
 volume       = "160",
 pages        = "781--793",
 doi          = "10.4007/annals.2004.160.781",
)
@article(Cerny,
 author       = "H. {\v C}ern{\'y}",
 year         = "1964",
 title        = "Pozn{\'a}mka k homog{\'e}nnym eksperimentom s kone{\v c}n{\'y}mi avtomatami",
 journal      = "Mat.-Fyz. Cas. Slovensk. Akad. Vied. (in Slovak)",
 number       = "14",
 pages        = "208--216",
)
@article(TestCom2006,
 author       = "K. El-Fakih and A. Petrenko and N. Yevtushenko",
 year         = "2006",
 title        = "FSM Test Translation Through Context",
 journal      = "Lecture Notes in Computer Science",
 volume       = "3964",
 pages        = "245--258",
 doi          = "10.1007/11754008\_16",
)
@article(Gill,
 author       = "A. Gill",
 year         = "1961",
 title        = "State-identification experiments in finite automata",
 journal      = "Information and Control",
 pages        = "132--154",
 doi          = "10.1016/S0019-9958(61)80003-X",
)
@article(Hibbard,
 author       = "T. Hibbard",
 year         = "1961",
 title        = "Lest upper bounds on minimal terminal state experiments of two classes of sequential machines",
 journal      = "Journal of the ACM",
 volume       = "8",
 number       = "4",
 pages        = "601--612",
 doi          = "10.1145/321088.321098",
)
@article(Klyachko,
 author       = "A. Klyachko and I. Rystsov and M. Spivak",
 year         = "1987",
 title        = "In extremal combinatorial problem associated with the bound on the length of a synchronizing word in an automaton",
 journal      = "Cybernetics",
 number       = "23",
 pages        = "165--171",
 doi          = "10.1007/BF01071771",
)
@book(Kohavi,
 author       = "Z. Kohavi",
 year         = "1978",
 title        = "Switching and Finite Automata Theory",
 publisher    = "McGraw- Hill, New York",
)
@article(CIAA2011,
 author       = "N. Kushik and K. El-Fakih and N. Yevtushenko",
 year         = "2011",
 title        = "Preset and adaptive homing experiments for nondeterministic finite state machines",
 journal      = "LNCS",
 volume       = "6807",
 pages        = "215--224",
 doi          = "10.1007/978-3-642-22256-6\_20",
)
@article(STTT2014,
 author       = "N. Kushik and K. El-Fakih and N. Yevtushenko and A. Cavalli",
 year         = "2014",
 title        = "On adaptive experiments for nondeterministic finite state machines",
 journal      = "International Journal on Software Tools for Technology Transfer (in press)",
 doi          = "10.1007/s10009-014-0357-7",
)
@article(Programmirovanie2014,
 author       = "N. Kushik and V. Kulyamin and N. Evtushenko",
 year         = "2014",
 title        = "On the complexity of existence of homing sequences for nondeterministic finite state machines",
 journal      = "Programming and Computer Software",
 pages        = "333--336",
 doi          = "10.1134/S0361768814060140",
)
@article(Moore,
 author       = "E.F. Moore",
 year         = "1956",
 title        = "Gedanken-experiments on sequential machines",
 journal      = "Automata Studies. Annals of Mathematical Studies",
 number       = "34",
 pages        = "129--153",
)
@article(Petrenko2011,
 author       = "A. Petrenko and N. Yevtushenko",
 year         = "2011",
 title        = "Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs",
 journal      = "LNCS",
 volume       = "7019",
 pages        = "162--178",
 doi          = "10.1007/978-3-642-24580-0\_12",
)
@article(Sandberg,
 author       = "S. Sandberg",
 year         = "2005",
 title        = "Homing and Synchronization Sequences",
 journal      = "LNCS",
 volume       = "3472",
 pages        = "3--55",
 doi          = "10.1.1.108.2650",
)
@inbook(the_book,
 author       = "T. Villa and N. Yevtushenko and R. Brayton and A. Mishchenko and A. Petrenko and A. Sangiovanni-Vincentelli",
 year         = "2012",
 title        = "The Unknown Component Problem - Theory and Applications",
 chapter      = "2, 3",
 pages        = "9--72",
 publisher    = "Springer",
 doi          = "10.1007/978-0-387-68759-9",
)
@article(Volkov,
 author       = "M. Volkov",
 year         = "2008",
 title        = "Synchronizing Automata and the {\v C}ern{\'y} Conjecture",
 journal      = "LNCS",
 volume       = "5196",
 pages        = "11--27",
 doi          = "10.1007/978-3-540-88282-4\_4",
)
@article(IRC,
 author       = "M. Zhigulin and A. Kolomeets and N. Kushik and A. Shabaldin",
 year         = "2011",
 title        = "Test generation strategies for IRC protocol implementation based EFSM model (in Russian)",
 journal      = "Bulletin of the Tomsk Polytechnic University",
 pages        = "81--84",
)