@book(ARINC664P7-1,
 author       = "{AERONAUTICAL RADIO, INC.}",
 year         = "2009",
 title        = "{Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network}",
 publisher    = "{AERONAUTICAL RADIO, INC.}",
 address      = "2551 Riva Road, Annapolis, Maryland 21401-7435",
)
@book(uml-testing-profile,
 author       = "Paul Baker and Oystein Haugen and Zhen Ru Dai and Clay Williams and Jens Grabowski",
 year         = "2008",
 title        = "Model-Driven Testing -- Using the UML Testing Profile",
 publisher    = "Springer",
 address      = "Berlin Heidelberg",
)
@inproceedings(BiereEA:BMC,
 author       = "Armin Biere and Alessandro Cimatti and Edmund M. Clarke and Yunshan Zhu",
 year         = "1999",
 title        = "Symbolic Model Checking without BDDs",
 booktitle    = "Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems",
 series       = "TACAS '99",
 publisher    = "Springer-Verlag",
 address      = "London, UK, UK",
 pages        = "193--207",
 doi          = "10.1007/3-540-49059-0\_14",
)
@article(biere2006,
 author       = "Armin Biere and Keijo Heljanko and Tommi Junttila and Timo Latvala and Viktor Schuppan",
 year         = "2006",
 title        = "Linear Encodings of Bounded LTL Model Checking",
 journal      = "Logical Methods in Computer Science",
 volume       = "2",
 number       = "5",
 pages        = "1--64",
 doi          = "10.2168/LMCS-2(5:5)2006",
)
@inproceedings(peleska2012c,
 author       = "J{\"o}rg Brauer and Jan Peleska and Uwe Schulze",
 year         = "2012",
 title        = "Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools",
 editor       = "Brian Nielsen and Carsten Weise",
 booktitle    = "Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "7641",
 publisher    = "Springer",
 address      = "Heidelberg Dordrecht London New York",
 pages        = "8--23",
 doi          = "10.1007/978-3-642-34691-0\_3",
)
@inproceedings(brinksma88,
 author       = "E. Brinksma",
 year         = "1988",
 title        = "{A Theory for the Derivation of Tests}",
 editor       = "S. Aggarwal and K. Sabnani",
 booktitle    = "Protocol Specification Testing and Verification VIII (PSTV `88)",
 pages        = "63--74",
)
@inproceedings(Bryant2000,
 author       = "R. E. Bryant and P. Chauhan and E. M. Clarke and A. Goel",
 year         = "2000",
 title        = "A Theory of Consistency for Modular Synchronous Systems",
 editor       = "W. A. Hunt and S. D. Johnson",
 booktitle    = "Formal Methods in Computer-Aided Design (FMCAD)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1954",
 publisher    = "Springer",
 pages        = "486--504",
 doi          = "10.1007/3-540-40922-X\_30",
)
@article(cavalcant2011a,
 author       = "A. L. C. Calvalcanti and M.-C. Gaudel",
 year         = "2011",
 title        = "Testing for Refinement in Circus",
 journal      = "Acta Informatica",
 volume       = "48",
 number       = "2",
 pages        = "97--147",
 doi          = "10.1007/s00236-011-0133-z",
)
@article(chow:wmethod,
 author       = "Tsun S. Chow",
 year         = "1978",
 title        = "Testing Software Design Modeled by Finite-State Machines",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "SE-4",
 number       = "3",
 pages        = "178--186",
 doi          = "10.1109/TSE.1978.231496",
)
@book(clarke_em-etal:1999a,
 author       = "Edmund M. Clarke and Orna Grumberg and Doron A. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "The {MIT} Press",
 address      = "Cambridge, Massachusetts",
)
@article(nicola84,
 author       = "R. De Nicola and M. Hennessy",
 year         = "1984",
 title        = "{Testing Equivalences for Processes}",
 journal      = "Theoretical Computer Science",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
)
@manual(scade,
 organization = "Esterel Technologies",
 title        = "{SCADE} Suite Product Description",
 note         = "\texttt {http://www.estereltechnologies.com}",
)
@article(grieskamp2002,
 author       = "Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes",
 year         = "2002",
 title        = "Generating Finite State Machines from Abstract State Machines",
 journal      = "ACM SIGSOFT Software Engineering Notes",
 volume       = "27",
 number       = "4",
 pages        = "112--122",
 doi          = "10.1145/566171.566190",
)
@book(hennessy88,
 author       = "M. Hennessy",
 year         = "1988",
 title        = "Algebraic Theory of Processes",
 publisher    = "MIT Press",
 address      = "Cambridge, Massachusetts, London",
)
@book(hoare1998,
 author       = "C. A. R. Hoare and H. Jifeng",
 year         = "1998",
 title        = "Unifying Theories of Programming",
 publisher    = "Prentice-Hall",
)
@techreport(D34.1,
 author       = "Wen ling Huang and Jan Peleska and Uwe Schulze",
 year         = "2013",
 title        = "Test Automation Support",
 type         = "Technical Report",
 number       = "D34.1",
 institution  = "{COMPASS Comprehensive Modelling for Advanced Systems of Systems}",
)
@techreport(D34.2,
 author       = "Wen ling Huang and Jan Peleska and Uwe Schulze",
 year         = "to appear 2014",
 title        = "Specialised Test Strategies",
 type         = "Technical Report",
 number       = "D34.2",
 institution  = "{COMPASS Comprehensive Modelling for Advanced Systems of Systems}",
)
@techreport(pel2012extended,
 author       = "{Wen-ling} Huang and Jan Peleska",
 year         = "2012",
 title        = "Specialised Test Strategies",
 type         = "Public Document",
 institution  = "{COMPASS} Comprehensive Modelling for Advanced Systems of Systems",
)
@techreport(ISO26262-8,
 year         = "2009",
 title        = "{Road Vehicles - Functional Safety - Part 8: Supporting Processes}",
 type         = "Technical Report",
 institution  = "International Organization for Standardization",
 note         = "ICS 43.040.10",
)
@techreport(iso26262-4,
 author       = "{ISO/DIS 26262-4}",
 year         = "2009",
 title        = "Road vehicles -- functional safety -- Part 4: Product development: system level",
 type         = "Technical Report",
 institution  = "International Organization for Standardization",
)
@article(10.1109/ICST.2010.60,
 author       = "Helge Loding and Jan Peleska",
 year         = "2010",
 title        = "Timed Moore Automata: Test Data Generation and Model Checking",
 journal      = "Software Testing, Verification, and Validation, 2008 International Conference on",
 volume       = "0",
 pages        = "449--458",
 doi          = "10.1109/ICST.2010.60",
)
@inproceedings(denicola1990,
 author       = "Rocco De Nicola and Frits Vaandrager",
 year         = "1990",
 title        = "Action versus State based Logics for Transition Systems",
 editor       = "Ir{\`e}ne Guessarian",
 booktitle    = "Semantics of Systems of Concurrent Processe",
 series       = "LNCS",
 volume       = "469",
 publisher    = "Springer-Verlag, Berlin, Heidelberg",
 pages        = "407--419",
 doi          = "10.1007/3-540-53479-2\_17",
)
@techreport(SysML12,
 author       = "{Object Management Group}",
 year         = "2010",
 title        = "{OMG Systems Modeling Language (OMG SysML$^{TM}$)}",
 type         = "Technical Report",
 institution  = "{Object Management Group}",
 note         = "{OMG} Document Number: formal/2010-06-02",
)
@misc(UML241,
 author       = "OMG",
 year         = "2011",
 title        = "{OMG Unified Modeling Language (OMG UML) Superstructure ver. 2.4.1}",
 howpublished = "\textit {www.uml.org/spec/UML/2.4.1/Superstructure/PDF/}",
)
@article(peleska1997a,
 author       = "J. Peleska and M. Siegel",
 year         = "1997",
 title        = "Test Automation of Safety-Critical Reactive Systems",
 journal      = "South African Computer Jounal",
 volume       = "19",
 pages        = "53--77",
)
@inproceedings(pel2011a,
 author       = "Jan Peleska and Artur Honisch and Florian Lapschies and Helge L{\"o}ding and Hermann Schmid and Peer Smuda and Elena Vorobev and Cornelia Zahlten",
 year         = "2011",
 title        = "A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain",
 editor       = "Burkhart Wolff and Fatiha Zaidi",
 booktitle    = "Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011",
 series       = "{LNCS}",
 volume       = "7019",
 organization = "IFIP WG 6.1",
 publisher    = "Springer",
 address      = "Heidelberg Dordrecht London New York",
 pages        = "146--161",
 doi          = "10.1007/978-3-642-24580-0\_1",
)
@inproceedings(pelnfm2011,
 author       = "Jan Peleska and Elena Vorobev and Florian Lapschies",
 year         = "2011",
 title        = "Automated Test Case Generation with {SMT}-Solving and Abstract Interpretation",
 editor       = "Mihaela Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi",
 booktitle    = "Nasa Formal Methods, Third International Symposium, NFM 2011",
 series       = "LNCS",
 volume       = "6617",
 publisher    = "Springer",
 address      = "Pasadena, CA, USA",
 pages        = "298--312",
 doi          = "10.1007/978-3-642-20398-5\_22",
)
@book(Phadke&89,
 author       = "M. S. Phadke",
 year         = "1989",
 title        = "Quality Engineering Using Robust Design",
 publisher    = "Prentice Hall",
 address      = "Englewood Cliff, NJ",
)
@article(rogin:338,
 author       = "F. Rogin and T. Klotz and G. Fey and R. Drechsler and S. Rulke",
 year         = "2009",
 title        = "{Advanced Verification by Automatic Property Generation}",
 journal      = "IET Computers \& Digital Techniques",
 volume       = "3",
 number       = "4",
 pages        = "338--353",
 doi          = "10.1049/iet-cdt.2008.0110",
 url          = "http://link.aip.org/link/?CDT/3/338/1",
)
@book(roscoe2010,
 author       = "A. W. Roscoe",
 year         = "2010",
 title        = "Understanding Concurrent Systems",
 publisher    = "Springer",
)
@book(DO331,
 author       = "{RTCA SC-205/EUROCAE WG-71}",
 year         = "2011",
 title        = "Model-Based Development and Verification Supplement to DO-178C and DO-278A",
 volume       = "RTCA/DO-331",
 publisher    = "{RTCA, Inc.}",
 address      = "1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036",
)
@book(DO178C,
 author       = "{RTCA SC-205/EUROCAE WG-71}",
 year         = "2011",
 title        = "Software Considerations in Airborne Systems and Equipment Certification",
 volume       = "RTCA/DO-178C",
 publisher    = "{RTCA, Inc.}",
 address      = "1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036",
)
@manual(do178b,
 author       = "{RTCA,SC-167}",
 year         = "1992",
 title        = "Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B",
 organization = "RTCA",
)
@article(schneider95,
 author       = "S. Schneider",
 year         = "1995",
 title        = "{An Operational Semantics for Timed CSP}",
 journal      = "Information and Computation",
 volume       = "116",
 pages        = "193--213",
 doi          = "10.1006/inco.1995.1014",
)
@book(schneider00,
 author       = "S. Schneider",
 year         = "2000",
 title        = "Concurrent and Real-time Systems -- The CSP Approach",
 publisher    = "Wiley and Sons Ltd.",
)
@article(Sis94,
 author       = "A. P. Sistla",
 year         = "1994",
 title        = "Liveness and Fairness in Temporal Logic",
 journal      = "Formal Aspects of Computing",
 volume       = "6",
 number       = "5",
 pages        = "495--512",
 doi          = "10.1007/BF01211865",
)
@article(Springintveld2001,
 author       = "J.G. Springintveld and F.W. Vaandrager and P.R. D'Argenio",
 year         = "2001",
 title        = "Testing timed automata",
 journal      = "Theoretical Computer Science",
 volume       = "254",
 number       = "1-2",
 pages        = "225--257",
 doi          = "10.1016/S0304-3975(99)00134-6",
)
@book(EN50128,
 author       = "{E}uropean {C}ommittee for {E}lectrotechnical {S}tandardization",
 year         = "2001",
 title        = "EN 50128 -- Railway applications -- Communications, signalling and processing systems -- Software for railway control and protection systems",
 publisher    = "CENELEC",
 address      = "Brussels",
)
@article(tretmansIoco96,
 author       = "Jan Tretmans",
 year         = "1996",
 title        = "Test generation with inputs, outputs and repetitive quiescence",
 journal      = "Software -- Concepts and Tools",
 volume       = "17",
 number       = "3",
 pages        = "103--120",
)
@inproceedings(tretmansConcur99,
 author       = "Jan Tretmans",
 year         = "1999",
 title        = "Testing Concurrent Systems: A Formal Approach",
 editor       = "J.C.M. Naeten and S. Mauw",
 booktitle    = "{CONCUR'99 -- $10^{th}$ Int. Conference on Concurrency Theory}",
 series       = "Lecture Notes in Computer Science",
 volume       = "1664",
 publisher    = "Springer",
 pages        = "46--65",
 doi          = "10.1007/3-540-48320-9\_6",
)
@inproceedings(Vaandrager12,
 author       = "Frits Vaandrager",
 year         = "2012",
 title        = "Active Learning of Extended Finite State Machines",
 editor       = "Brian Nielsen and Carsten Weise",
 booktitle    = "Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "7641",
 publisher    = "Springer",
 address      = "Heidelberg Dordrecht London New York",
 pages        = "5--7",
 doi          = "10.1007/978-3-642-34691-0\_2",
)
@phdthesis(weissleder:diss,
 author       = "Stephan Wei{\ss }leder",
 year         = "2010",
 title        = "Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines",
 type         = "Doctoral thesis",
 school       = "Humboldt-University Berlin, Germany",
)
@article(woodcock2012,
 author       = "J. Woodcock and A. Cavalcanti and J. Fitzgerald and P. Larsen and A. Miyazawa and S. Perry",
 year         = "2012",
 title        = "Features of CML: a Formal Modelling Language for Systems of Systems",
 journal      = "IEEE Systems Journal",
 volume       = "6",
 doi          = "10.1109/SYSoSE.2012.6384144",
)