@techreport(1,
 author       = "Hayhurst Kelly J. and Veerhusen Dan S. and Chilenski John J. and Rierson Leanna K.",
 year         = "2001",
 title        = "A Practical Tutorial on Modified Condition/Decision Coverage",
 institution  = "NASA Langley Research Center",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1317",
)
@inproceedings(2,
 author       = "Bahareh Badban and Martin Franzle and Jan Peleska and Tino Teige",
 year         = "2006",
 title        = "Test Automation for Hybrid Systems",
 booktitle    = "Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006)",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "14--21",
 doi          = "10.1145/1188895.1188902",
)
@incollection(3,
 author       = "Anders Hessel and Kim G. Larsen and Marius Mikucionis and Brian Nielsen and Paul Pettersson and Arne Skou",
 year         = "2008",
 title        = "Testing real-time systems using UPPAAL",
 booktitle    = "Formal methods and testing",
 series       = "Lecture Notes In Computer Science",
 volume       = "4949",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "77-117",
 isbn = "3-540-78916-2, 978-3-540-78916-1",
 doi          = "10.1007/978-3-540-78917-8_3",
)
@inproceedings(4,
 author       = "Henrik Bohnenkamp and Axel Belinfante",
 year         = "2005",
 title        = "Timed testing with torx",
 booktitle    = "Proceedings of the International Symposium of Formal Methods Europe",
 series       = "Lecture Notes In Computer Science",
 volume       = "3582",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "173-188",
 doi          = "10.1007/11526841_13",
)
@article(5,
 author       = "Moez Krichen and Stavros Tripakis",
 year         = "2009",
 title        = "Conformance testing for real-time systems",
 journal      = "Formal Methods in System Design",
 volume       = "34",
 number       = "3",
 pages        = "238--304",
 doi          = "10.1007/s10703-009-0065-1",
)
@incollection(6,
 author       = "Margus Veanes and Colin Campbell and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Lev Nachmanson",
 year         = "2008",
 title        = "Model-based testing of object-oriented reactive systems with spec explorer",
 booktitle    = "Formal methods and testing",
 series       = "Lecture Notes In Computer Science",
 volume       = "4949",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "39-76",
 isbn = "3-540-78916-2, 978-3-540-78916-1",
 doi          = "10.1007/978-3-540-78917-8_2",
)
@inproceedings(7,
 author       = "A. Grinevich and A. Khoroshilov and V. Kuliamin and D. Markovtsev and A. Petrenko and V. Rubanov",
 year         = "2006",
 title        = "Formal Methods in Industrial Software Standards Enforcement",
 booktitle    = "Proceedings of PSI'2006",
 address      = "Novosibirsk, Russia",
 pages        = "26--30",
 doi          = "10.1007/978-3-540-70881-0_41",
)
@inproceedings(8,
 author       = "Igor Bourdonov and Alexander Kossatchev and Victor Kuliamin and Alexander Petrenko",
 year         = "2002",
 title        = "UniTesK Test Suite Architecture",
 booktitle    = "Proceedings of the International Symposium of Formal Methods Europe",
 series       = "Lecture Notes In Computer Science",
 volume       = "2391",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 doi          = "10.1007/3-540-45614-7_5",
)
@article(9,
 author       = "Bertrand Meyer",
 year         = "1992",
 title        = "Applying "Design by Contract"",
 journal      = "Computer",
 volume       = "25",
 number       = "10",
 pages        = "40--51",
 doi          = "10.1109/2.161279",
)
@misc(10,
 title        = "CTesK 2.2 User’s Guide",
 url          = "http://www.unitesk.com/download/papers/ctesk/ce/CTesK2.2CEUserGuide.eng.pdf",
)
@article(11,
 author       = "Igor Bourdonov and Alexander Kossatchev and Victor Kuliamin",
 year         = "2003",
 title        = "Irredundant traversal algorithms for oriented graphs: deterministic case",
 journal      = "Programming and Computer Software",
 volume       = "25",
 number       = "5",
 pages        = "59--69",
 url          = "http://panda.ispras.ru/~kuliamin/docs/Graphs-2003-ru.pdf",
)
@article(12,
 author       = "Igor Bourdonov and Alexander Kossatchev and Victor Kuliamin",
 year         = "2004",
 title        = "Irredundant traversal algorithms for oriented graphs: nondeterministic case",
 journal      = "Programming and Computer Software",
 volume       = "30",
 number       = "1",
 pages        = "2--17",
 url          = "http://panda.ispras.ru/~kuliamin/docs/Graphs-2004-ru.pdf",
)
@article(13,
 author       = "Hong Zhu and Patric A. V. Hall and John H.R. May",
 year         = "1997",
 title        = "Software Unit Test Coverage and Adequacy",
 journal      = "ACM Computing Surveys (CSUR)",
 volume       = "29",
 number       = "4",
 pages        = "366--427",
 doi          = "10.1145/267580.267590",
)
@article(14,
 author       = "Igor Bourdonov and Alexander Kossatchev and Victor Kuliamin",
 year         = "2000",
 title        = "Use of finite state machines for testing programs",
 journal      = "Programming and Computer Software",
 volume       = "26",
 number       = "2",
 pages        = "61--73",
 url          = "http://panda.ispras.ru/~kuliamin/docs/FSM-2000-ru.pdf",
)
@inproceedings(15,
 author       = "Vadim Mutilin",
 year         = "2006",
 title        = "Design patterns for test scenarios",
 booktitle    = "Proceedings of ISP RAS",
 volume       = "9",
 publisher    = "ISP RAS",
 address      = "Moscow, Russia",
 pages        = "97--128",
 url          = "http://ispras.ru/ru/proceedings/docs/2006/9/isp_9_2006_97.pdf",
)
@misc(16,
 title        = "IEEE standard 830-1998 – IEEE Recommended Practice for Software Requirements Specifications",
 url          = "http://standards.ieee.org/findstds/standard/830-1998.htmlf",
)
@misc(17,
 title        = "19. IEEE standard 1233-1996 – IEEE Guide for Developing System Requirements Specifications",
 url          = "http://standards.ieee.org/findstds/standard/1233-1996.html",
)