@article(Alur1994,
 author       = "R. Alur and D. L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theor. Comput. Sci.",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@article(Alur1996,
 author       = "R. Alur and T. Feder and T. A. Henzinger",
 year         = "1996",
 title        = "The {B}enefits of {R}elaxing {P}unctuality",
 journal      = "Journal of ACM",
 volume       = "43",
 number       = "1",
 pages        = "116--146",
 doi          = "10.1145/227595.227602",
)
@article(Bacchus1998,
 author       = "F. Bacchus and F. Kabanza",
 year         = "1998",
 title        = "Planning for temporally extended goals",
 journal      = "Annals of Mathematics and Artificial Intelligence",
 volume       = "22",
 number       = "1--2",
 pages        = "5--27",
 doi          = "10.1023/A:1018985923441",
)
@inproceedings(Barringer2010a,
 author       = "H. Barringer and Y. Falcone and B. Finkbeiner and K. Havelund and I. Lee and G.J. Pace and G. Rosu and O. Sokolsky and N. Tillmann",
 year         = "2010",
 title        = "Preface",
 booktitle    = "Proc. of RV 2010, the First International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010",
 series       = "Lecture Notes in Computer Science",
 volume       = "6418",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-16612-9",
)
@article(Barringer2010,
 author       = "H. Barringer and D. Rydeheard and K. Havelund",
 year         = "2010",
 title        = "Rule {S}ystems for {R}un-{T}ime monitoring: {F}rom {E}agle to {R}ule{R}",
 journal      = "Journal of Logic and Computation",
 volume       = "20",
 number       = "3",
 pages        = "675--706",
 doi          = "10.1093/logcom/exn076",
)
@inproceedings(Bartocci2012,
 author       = "E. Bartocci and R. Grosu and A. Karmarkar and S. A. Smolka and S. D. Stoller and E. Zadok and J. Seyster",
 year         = "2012",
 title        = "Adaptive Runtime Verification",
 booktitle    = "Proc. of RV 2012, the third International Conference on Runtime Verification, September, 2012 Istanbul, Turkey",
 series       = "Lecture Notes in Computer Science",
 volume       = "7687",
 publisher    = "Springer",
 pages        = "168--182",
 doi          = "10.1007/978-3-642-35632-2\_18",
)
@inproceedings(Bauer201285,
 author       = "A. Bauer and Y. Falcone",
 year         = "2012",
 title        = "Decentralised LTL monitoring",
 booktitle    = "FM 2012: Formal Methods",
 volume       = "7436",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "85--100",
 doi          = "10.1007/978-3-642-32759-9\_10",
)
@inproceedings(Bauer2006,
 author       = "A. Bauer and M. Leucker and C. Schallhart",
 year         = "2006",
 title        = "Monitoring of real-time properties",
 booktitle    = "Proc. of FSTTCS, the 26th Conference on Foundations of Software Technology and Theoretical Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "4337",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 doi          = "10.1007/11813040\_37",
)
@article(Bauer2010,
 author       = "A. Bauer and M. Leucker and C. Schallhart",
 year         = "2010",
 title        = "Comparing LTL semantics for runtime verification",
 journal      = "Journal of Logic and Computation",
 volume       = "20",
 number       = "3",
 pages        = "651--674",
 doi          = "10.1093/logcom/exn075",
)
@article(Bauer2011,
 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",
 doi          = "10.1145/2000799.2000800",
)
@inproceedings(Behrmann2006,
 author       = "G. Behrmann and A. David and K. G. Larsen and J. H{\r a}kansson and P. Pettersson and W. Yi and M. Hendriks",
 year         = "2006",
 title        = "UPPAAL 4.0",
 booktitle    = "Proc. of QEST 2006, the Third International Conference on the Quantitative Evaluation of Systems, Riverside, California, USA",
 publisher    = "IEEE Computer Society",
 pages        = "125--126",
 doi          = "10.1109/QEST.2006.59",
)
@inproceedings(Bonakdarpour2011,
 author       = "B. Bonakdarpour and S. Navabpour and S. Fischmeister",
 year         = "2011",
 title        = "Sampling-{B}ased {R}untime {V}erification",
 booktitle    = "Proc. FM 2011: Formal Methods, the 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "6664",
 publisher    = "Springer",
 pages        = "88--102",
 doi          = "10.1007/978-3-642-21437-0\_9",
)
@incollection(Buchi1962,
 author       = "J. R. B\"uchi",
 year         = "1990",
 title        = "On a decision method in restricted second order arithmetic",
 booktitle    = "The Collected Works of J. Richard B\"uchi",
 publisher    = "Springer New York",
 pages        = "425--435",
 doi          = "10.1007/978-1-4613-8928-6\_23",
)
@inproceedings(Callanan2008,
 author       = "S. Callanan and D. J. Dean and M. Gorbovitski and R. Grosu and J. Seyster and S. A. Smolka and S. D. Stoller and E. Zadok",
 year         = "2008",
 title        = "Software monitoring with bounded overhead",
 booktitle    = "Proc. of IPDPS 2008, the 22nd IEEE International Symposium on Parallel and Distributed Processing, Miami, Florida USA, April 14-18, 2008",
 publisher    = "IEEE",
 pages        = "1--8",
 doi          = "10.1109/IPDPS.2008.4536433",
)
@article(Cassez2010,
 author       = "F. Cassez",
 year         = "2012",
 title        = "The {C}omplexity of {C}odiagnosability for {D}iscrete {E}vent and {T}imed {S}ystems",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "57",
 number       = "7",
 pages        = "1752--1764",
 doi          = "10.1109/TAC.2012.2183169",
)
@incollection(Clarke1982,
 author       = "E. M. Clarke and E. Emerson",
 year         = "1982",
 title        = "Design and {S}ynthesis of {S}ynchronization {S}keletons {U}sing {B}ranching {T}ime {T}emporal {L}ogic",
 editor       = "Dexter Kozen",
 booktitle    = "Logics of Programs",
 series       = "Lecture Notes in Computer Science",
 volume       = "131",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "52--71",
 doi          = "10.1007/BFb0025774",
)
@inproceedings(damorin2005,
 author       = "M. d'Amorim and G. Rosu",
 year         = "2005",
 title        = "Efficient {M}onitoring of $\omega $-{L}anguages",
 booktitle    = "Proc. of CAV 2005, the 17th International Conference on Computer Aided Verification, Edinburgh, Scotland, UK, July 6-10, 2005",
 series       = "Lecture Notes in Computer Science",
 volume       = "3576",
 publisher    = "Springer",
 pages        = "364--378",
 doi          = "10.1007/11513988\_36",
)
@inproceedings(Dwyer1999,
 author       = "M. B. Dwyer and G. S. Avrunin and J. C. Corbett",
 year         = "1999",
 title        = "Patterns in property specifications for finite-state verification",
 booktitle    = "Proc. of ICSE '99, the 21st international conference on Software engineering, Los Angeles, California, USA",
 publisher    = "ACM",
 pages        = "411--420",
 doi          = "10.1145/302405.302672",
)
@inproceedings(Etessami2000,
 author       = "K. Etessami and G. J. Holzmann",
 year         = "2000",
 title        = "Optimizing {B}{\"u}chi {A}utomata",
 booktitle    = "Proc. of CONCUR 2000 - Concurrency Theory, the 11th International Conference University Park, PA, USA, August 22Ð25, 2000",
 series       = "Lecture Notes in Computer Science",
 volume       = "1877",
 publisher    = "Springer",
 pages        = "153--168",
 doi          = "10.1007/3-540-44618-4\_13",
)
@inproceedings(Gastin2003,
 author       = "P Gastin and D. Oddoux",
 year         = "2003",
 title        = "{LTL} with {P}ast and {T}wo-{W}ay {V}ery-{W}eak {A}lternating {A}utomata",
 booktitle    = "Proc. of MFCS 2003, the 28th International Symposium in Mathematical Foundations of Computer Science,Bratislava, Slovakia, August 25-29, 2003",
 series       = "Lecture Notes in Computer Science",
 volume       = "2747",
 publisher    = "Springer",
 pages        = "439--448",
 doi          = "10.1007/978-3-540-45138-9\_38",
)
@article(Geilen2001,
 author       = "M. Geilen",
 year         = "2001",
 title        = "On the {C}onstruction of {M}onitors for {T}emporal {L}ogic {P}roperties",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "55",
 number       = "2",
 pages        = "181--199",
 doi          = "10.1016/S1571-0661(04)00252-X",
)
@inproceedings(Genon2006,
 author       = "A. Genon and T. Massart and C. Meuter",
 year         = "2006",
 title        = "Monitoring {D}istributed {C}ontrollers: {W}hen an efficient {LTL} algorithm on {S}equences {I}s {N}eeded to {M}odel-{C}heck {T}races",
 booktitle    = "Proc. of FM 2006: Formal Methods, the 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006",
 series       = "Lecture Notes in Computer Science",
 volume       = "4085",
 pages        = "557--572",
 doi          = "10.1007/11813040\_37",
)
@inproceedings(Gunzert1999,
 author       = "M. Gunzert and A. Naegele",
 year         = "1999",
 title        = "Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components",
 series       = "PDSE '99",
 pages        = "134--145",
 doi          = "10.1109/PDSE.1999.779745",
)
@article(Havelund2002a,
 author       = "K. Havelund and G. Rosu",
 year         = "2002",
 title        = "Runtime {V}erification, {RV} 2002: Preface",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "70",
 number       = "4",
 pages        = "201--202",
 doi          = "10.1016/S1571-0661(05)80585-7",
)
@inproceedings(Kalajdzic2013,
 author       = "K. Kalajdzic and E. Bartocci and S. A. Smolka and Scott Stoller and G. Grosu",
 year         = "2013",
 title        = "Runtime {V}erification with {P}article {F}iltering",
 booktitle    = "Proc. of RV 2013, the fourth International Conference on Runtime Verification, INRIA Rennes, France, 24-27 September, 2013",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "To Appear",
)
@article(Kopetz2001,
 author       = "H. Kopetz and M. Holzmann and W. Elmenreich",
 year         = "2001",
 title        = "A universal smart transducer interface: TTP/A",
 journal      = "Comput. Syst. Sci. Eng.",
 volume       = "16",
 number       = "2",
 pages        = "71--77",
 doi          = "10.1109/ISORC.2000.839507",
)
@article(Lamport1978,
 author       = "L. Lamport",
 year         = "1978",
 title        = "Time, Clocks and the Ordering of Events in a Distributed System",
 journal      = "Communications of the ACM",
 volume       = "21",
 number       = "7",
 pages        = "558--565",
 doi          = "10.1145/359545.359563",
)
@article(Lichtenstein1985,
 author       = "O. Lichtenstein and A. Pnueli and L. Zuck",
 year         = "1985",
 title        = "The glory of the past",
 journal      = "Lecture Notes in Computer Science",
 volume       = "193",
 pages        = "196--218",
 doi          = "10.1007/3-540-15648-8\_16",
)
@inproceedings(Lukasiewycz2009,
 author       = "M. Lukasiewycz and M. Gla\ss  and J. Teich and P. Milbredt",
 year         = "2009",
 title        = "Flex{R}ay schedule optimization of the static segment",
 booktitle    = "Proc. of the CODES+ISSS '09, the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, Grenoble, France",
 publisher    = "ACM",
 pages        = "363--372",
 doi          = "10.1145/1629435.1629485",
)
@article(Markey2003,
 author       = "N. Markey",
 year         = "2003",
 title        = "Temporal logic with past is exponentially more succinct",
 journal      = "EATCS Bulletin",
 volume       = "79",
 pages        = "122--128",
)
@article(Miller2010,
 author       = "S.P. Miller and M.W. Whalen and D.D. Cofer",
 year         = "2010",
 title        = "Software model checking takes off",
 journal      = "Communications of the ACM",
 volume       = "53",
 number       = "2",
 pages        = "58--64",
 doi          = "10.1145/1646353.1646372",
)
@article(Pnueli1977,
 author       = "A. Pnueli",
 year         = "1977",
 title        = "The temporal logic of programs",
 journal      = "Proc. 18th IEEE Symposium on Foundations of Computer Science",
 pages        = "46--57",
 doi          = "10.1109/SFCS.1977.32",
)
@article(Pop2008,
 author       = "T. Pop and P. Pop and P. Eles and Z. Peng and A. Andrei",
 year         = "2008",
 title        = "Timing analysis of the FlexRay communication protocol",
 journal      = "Real-Time Systems",
 volume       = "39",
 number       = "1--3",
 pages        = "205--235",
 doi          = "10.1109/ECRTS.2006.31",
)
@incollection(Queille1982,
 author       = "J.P. Queille and J. Sifakis",
 year         = "1982",
 title        = "Specification and verification of concurrent systems in {CESAR}",
 booktitle    = "Proc. of the 5th Colloquium on International Symposium on Programming",
 publisher    = "Springer-Verlag",
 pages        = "337--351",
 doi          = "10.1007/3-540-11494-7\_22",
)
@article(Rosu2005,
 author       = "G. Rosu and K. Havelund",
 year         = "2005",
 title        = "Rewriting-{B}ased {T}echniques for {R}untime {V}erification",
 journal      = "Automated Software Engineering",
 volume       = "12",
 number       = "2",
 pages        = "151--197",
 doi          = "10.1007/s10515-005-6205-y",
)
@inproceedings(Sen2006,
 author       = "K. Sen and A. Vardhan and G. Agha and G. Rosu",
 year         = "2006",
 title        = "Decentralized runtime analysis of multithreaded applications",
 doi          = "10.1109/IPDPS.2006.1639591",
)
@inproceedings(Sen2004418,
 author       = "K. Sen and A. Vardhan and G. Agha and G. RoÅŸu",
 year         = "2004",
 title        = "Efficient decentralized monitoring of safety in distributed systems",
 volume       = "26",
 pages        = "418--427",
 doi          = "10.1109/ICSE.2004.1317464",
)
@inproceedings(Stoller2011,
 author       = "S. D. Stoller and E. Bartocci and J. Seyster and R. Grosu and K. Havelund and S. A. Smolka and E. Zadok",
 year         = "2011",
 title        = "Runtime {V}erification with {S}tate {E}stimation",
 booktitle    = "Proc. of RV 2011, the Second international conference on Runtime verification, San Francisco, CA, USA",
 series       = "Lecture Notes in Computer Science",
 volume       = "7186",
 publisher    = "Springer-Verlag",
 pages        = "193--207",
 doi          = "10.1007/978-3-642-29860-8\_15",
)
@inproceedings(Tripakis2005,
 author       = "S. Tripakis",
 year         = "2005",
 title        = "Decentralized observation problems",
 pages        = "6--11",
 doi          = "10.1109/CDC.2005.1582122",
)
@article(Wang,
 author       = "Y. Wang and T. Yoo and S. Lafortune",
 year         = "2007",
 title        = "Diagnosis of {D}iscrete {E}vent {S}ystems {U}sing {D}ecentralized {A}rchitectures",
 journal      = "{D}iscrete {E}vent {D}ynamic {S}ystems",
 volume       = "17",
 number       = "2",
 pages        = "233--263",
 doi          = "10.1007/s10626-006-0006-8",
)
@article(Wang2007,
 author       = "Y. Wang and T.-S. Yoo and S. Lafortune",
 year         = "2007",
 title        = "Diagnosis of {D}iscrete {E}vent {S}ystems {U}sing {D}ecentralized {A}rchitectures",
 journal      = "Discrete {E}vent {D}ynamic {S}ystems: {T}heory and {A}pplications",
 volume       = "17",
 number       = "2",
 pages        = "233--263",
 doi          = "10.1007/s10626-006-0006-8",
)
@inproceedings(Wolper2000,
 author       = "P. Wolper",
 year         = "2001",
 title        = "Constructing Automata from Temporal Logic Formulas: A Tutorial",
 booktitle    = "Lectures on formal methods and performance analysis",
 series       = "Lecture Notes in Computer Science",
 volume       = "2090",
 publisher    = "Springer-Verlag New York, Inc.",
 pages        = "261--277",
 doi          = "10.1007/3-540-44667-2\_7",
)