@(cpptesk,
 title        = "C++TESK Homepage",
 url          = "http://forge.ispras.ru/projects/cpptesk-toolkit/",
)
@article(timed-automata,
 author       = "R. Alur and D.L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(passive-testing-2012,
 author       = "C. Andr\'es and M.G. Merayo and M. N{\'{u}}{\~{n}}ez",
 year         = "2012",
 title        = "Formal Passive Testing of Timed Systems: Theory and Tools",
 journal      = "Software Testing, Verification \& Reliability",
 volume       = "22",
 number       = "6",
 pages        = "365--405",
 doi          = "10.1002/stvr.1464",
)
@inproceedings(barringer-2007,
 author       = "H. Barringer and D. Rydeheard and K. Havelund",
 year         = "2007",
 title        = "Rule Systems for Run-Time Monitoring: From Eagle to RuleR",
 booktitle    = "Proceedings of 7$^{th}$ International Workshop on Runtime Verification. Revised Selected Papers",
 pages        = "111--125",
 doi          = "10.1007/978-3-540-77395-5\_10",
)
@article(bauer-2011,
 author       = "A. Bauer and M. Leucker and C. Schallhart",
 year         = "2011",
 title        = "Runtime Verification for LTL and TLTL",
 journal      = "ACM Transactions on Software Engineering and Methodology",
 volume       = "20",
 number       = "4",
 pages        = "14:1--14:64",
 doi          = "10.1145/2000799.2000800",
)
@techreport(true-concurrency,
 author       = "B. Bloom and M. Kwiatkowska",
 year         = "1991",
 title        = "Trade-offs in True Concurrency: Pomsets and Mazurkiewicz Traces",
 type         = "Technical Report TR 91-1223",
 institution  = "Cornell University",
)
@inproceedings(bochmann-2008,
 author       = "G. von Bochmann and S.Haar and C.Jard and G.-V. Jourdan",
 year         = "2008",
 title        = "Testing Systems Specified as Partial Order Input/Output Automata",
 booktitle    = "Proceedings of the 20$^{th}$ IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems: 8$^{th}$ International Workshop",
 series       = "TestCom '08 / FATES '08",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "169--183",
 doi          = "10.1007/978-3-540-68524-1-13",
)
@inproceedings(timed-traces,
 author       = "D.V. Chieu and D.V. Hung",
 year         = "2012",
 title        = "Timed Traces and Their Applications in Specification and Verification of Distributed Real-time Systems",
 booktitle    = "Proceedings of the Third Symposium on Information and Communication Technology",
 pages        = "31--40",
 doi          = "10.1145/2350716.2350723",
)
@inproceedings(latw-2011,
 author       = "M. Chupilko and A. Kamkin",
 year         = "2011",
 title        = "A TLM-Based Approach to Functional Verification of Hardware Components at Different Abstraction Levels",
 booktitle    = "Proceedings of the 12$^{th}$ Latin-American Test Workshop",
 pages        = "1--6",
 doi          = "10.1109/LATW.2011.5985902",
)
@book(model-checking,
 author       = "E.M. Clarke and O. Grumberg and D.A. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "The MIT Press",
)
@article(spec-testing-2009,
 author       = "R.M. Hierons and K. Bogdanov and J.P.Bowen and R. Cleaveland and J. Derrick and J. Dick and M. Gheorghe and M. Harman and K. Kapoor and P. Krause and G. L{\"{u}}ttgen and A.J.H. Simons and S. Vilkomir and M.R. Woodward and H. Zedan",
 year         = "2009",
 title        = "Using Formal Specifications to Support Testing",
 journal      = "ACM Computing Surveys",
 volume       = "41",
 number       = "2",
 pages        = "9:1--9:76",
 doi          = "10.1145/1459352.1459354",
)
@article(contract-specs-2007,
 author       = "V.P. Ivannikov and A.S. Kamkin and A.S. Kossatchev and V.V. Kuliamin and A.K. Petrenko",
 year         = "2007",
 title        = "The Use of Contract Specifications for Representing Requirements and for Functional Testing of Hardware Models",
 journal      = "Programming and Computer Software",
 volume       = "33",
 number       = "5",
 pages        = "272--282",
 doi          = "10.1134/S0361768807050039",
)
@inproceedings(kuliamin-2003,
 author       = "V. Kuliamin and A. Petrenko and N. Pakoulin and A. Kossatchev and I. Bourdonov",
 year         = "2003",
 title        = "Integration of Functional and Timed Testing of Real-Time and Concurrent Systems",
 editor       = "M. Broy and A. Zamulin",
 booktitle    = "Perspectives of System Informatics",
 series       = "Lecture Notes in Computer Science",
 volume       = "2890",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "450--461",
 doi          = "10.1007/978-3-540-39866-0-45",
)
@book(lam,
 author       = "W.K. Lam",
 year         = "2005",
 title        = "Hardware Design Verification: Simulation and Formal Method-Based Approaches",
 publisher    = "Prentice Hall",
)
@book(sw-verification,
 author       = "J. Laski and W. Stanley",
 year         = "2009",
 title        = "Software Verification and Analysis: An Integrated, Hands-On Approach",
 publisher    = "Springer",
)
@inproceedings(leuker-foata,
 author       = "M. Leucker",
 year         = "2000",
 title        = "On Model Checking Synchronised Hardware Circuits",
 booktitle    = "Proceedings of the 6$^{th}$ Asian Computing Science Conference",
 series       = "Lecture Notes in Computer Science",
 volume       = "1961",
 publisher    = "Springer",
 pages        = "182--198",
 doi          = "10.1007/3-540-44464-5\_14",
)
@inproceedings(multiport-fsm,
 author       = "G. Luo and R. Dssouli and G. von Bochmann and P. Venkataram and A. Ghedamsi",
 year         = "1993",
 title        = "Generating Synchronizable Test Sequences Based On Finite State Machine with Distributed Ports",
 booktitle    = "Proceedings of the IFIP Sixth International Workshop on Protocol Test Systems",
 pages        = "53--68",
)
@inproceedings(trace-theory,
 author       = "A. Mazurkiewicz",
 year         = "1987",
 title        = "Trace Theory",
 booktitle    = "Advances in Petri Nets 1986, Part II on Petri Nets: Applications and Relationships to Other Models of Concurrency",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "New York, NY, USA",
 pages        = "279--324",
 doi          = "10.1007/3-540-17906-2\_30",
)
@article(monitor-based,
 author       = "B. Patel",
 year         = "2010",
 title        = "A Monitor-Based Approach to Verification",
 journal      = "EE Times",
)
@inproceedings(pomset-model,
 author       = "V.R. Pratt",
 year         = "1984",
 title        = "The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial",
 booktitle    = "Seminar on Concurrency",
 pages        = "180--196",
 doi          = "10.1007/3-540-15670-4\_9",
)
@article(sen-2003,
 author       = "K. Sen and G. Rosu",
 year         = "2003",
 title        = "Generating Optimal Monitors for Extended Regular Expressions",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "89",
 number       = "2",
 pages        = "162--181",
 doi          = "10.1016/S1571-0661(04)81051-X",
)
@book(hw-verification,
 author       = "B. Wile and J. Goss and W. Roesner",
 year         = "2005",
 title        = "Comprehensive Functional Verification: The Complete Industry Cycle",
 publisher    = "Morgan Kaufmann",
)