@Book{Bakal,
  author =  {Tomáš Měchura},
  title =   {Parametrizovaný generátor náhodných booleovských funkcí},
  year =    2006,
}
@Misc{BLIF,
  author =  {},
  title =   {{Berkeley Logic Interchange Format (BLIF)}},
  note =    {{University of California, Berkeley\\ \verb|http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/blif.pdf|}},
  year =    {},
}
@Book{DaS,
  author =  {J. Hlavička},
  title =   {Diagnostika a spolehlivost},
  publisher =    {Vydavatelství ČVUT},
  edition =      {2th},
  year =         1998,
}
@Book{LS,
  author =    {V. Jáneš, J. Douša},
  title =     {Logické systémy},
  publisher = {{Vydavatelství ČVUT, Praha}},
  year = 2001,
}

@Misc{PAA,
  author =       {},
  title =        {{Problémy a algoritmy - webová stránka předmětu}},
  note =         {\\ \verb|http://service.felk.cvut.cz/courses/36PAA/|},
  year =         {},
}

@Misc{WGA,
  author =       {},
  title =        {{Wikipedia - Genetic algorithm}},
  note =         {\\ \verb|http://en.wikipedia.org/wiki/Genetic_algorithm/|},
  year =         {},
}
@Misc{ATL,
  author =  {},
  title =   {{Atalanta-M webpage}},
  note =    {{\\ \verb|http://service.felk.cvut.cz/vlsi/prj/Atalanta-M/|}},
  year =    {},
}

@Misc{SIS,
  author =  {},
  title =   {{SIS 1.2 homepage}},
  note =    {{\\ \verb|http://embedded.eecs.berkeley.edu/Alumni/pchong/sis.html|}},
  year =    {},
}
@Misc{VLSI,
  author =  {},
  title =   {{download page at VLSI ČVUT}},
  note =    {{\\ \verb|http://vlsi.felk.cvut.cz/index.php?page=download|}},
  year =    {},
}

@Article{clanek,
  author =       {Lawrence H. Goldstein and Evelyn L. Thigpen },
  title =        {{SCOAP: SANDIA CONTROLLABILITY/OBBERVABILITY ANALYSIS PROGRAM*}},
  publisher =    {{Sandia National Laboratories, Albuquerque}},
  year =         1979,
}


@PHDTHESIS{STRN1,
   author = {Josef Strnadel},
   title = {Analýza a zlepšení testovatelnosti číslicového obvodu na
	úrovni meziregistrových přenosů},
   pages = {150},
   year = {2004},
   location = {Brno, CZ},
   language = {czech},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7621}
}

@INPROCEEDINGS{CAM,
  author = { C. M. Maunder, R.G. Bennetts, G.D. Robinson},
  title = {{CAMELOT: A Computer-Aided Measure for Logic Testability}},
  pages = {1162--1165},
  booktitle = {Proceedings of Intenational Conference on Computer Communication},
  year = 1980,
}

@INPROCEEDINGS{STRN2,
   author = {Josef Strnadel},
   title = {Normalized Testability Measures Based on RTL Digital Circuit
	Graph Model Analysis},
   pages = {200--205},
   booktitle = {Proceedings of The fifth International Scientific Conference
	Electronic Computers and Informatics 2002},
   series = {Edition 55},
   year = {2002},
   location = {Košice, SK},
   publisher = {The University of Technology Košice},
   ISBN = {80-7099-879-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6995}
}