@article(Aceto2019,
 author       = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing\'{o}lfsd\'{o}ttir and Karoliina Lehtinen},
 year         = {2019},
 title        = {Adventures in Monitorability: From Branching to Linear Time and Back Again},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {3},
 number       = {POPL},
 doi          = {10.1145/3290365},
)
@article(Allen_1983,
 author       = {James~F. Allen},
 year         = {1983},
 title        = {Maintaining knowledge about temporal intervals},
 journal      = {Communications of the ACM},
 volume       = {26},
 number       = {11},
 pages        = {832–843},
 doi          = {10.1145/182.358434},
)
@inbook(Anicic_2010,
 author       = {Darko Anicic and Paul Fodor and Sebastian Rudolph and Roland Stühmer and Nenad Stojanovic and Rudi Studer},
 year         = {2010},
 title        = {A Rule-Based Language for Complex Event Processing and Reasoning},
 pages        = {42–57},
 series       = {Lecture Notes in Computer Science},
 volume       = {6333},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-642-15918-3\_5},
)
@article(Artikis_2015,
 author       = {Alexander Artikis and Marek Sergot and Georgios Paliouras},
 year         = {2015},
 title        = {An Event Calculus for Event Recognition},
 journal      = {IEEE Transactions on Knowledge and Data Engineering},
 volume       = {27},
 number       = {4},
 pages        = {895--908},
 doi          = {10.1109/TKDE.2014.2356476},
)
@book(Bartocci2018,
 editor       = {Ezio Bartocci and Yli{\`{e}}s Falcone},
 year         = {2018},
 title        = {Lectures on Runtime Verification - Introductory and Advanced Topics},
 series       = {Lecture Notes in Computer Science},
 volume       = {10457},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-75632-5},
)
@article(Bauer_2011,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {Runtime Verification for LTL and TLTL},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {20},
 number       = {4},
 doi          = {10.1145/2000799.2000800},
)
@article(Beck_2018,
 author       = {Harald Beck and Dao-Tran, Minh and Thomas Eiter},
 year         = {2018},
 title        = {LARS: A Logic-based framework for Analytic Reasoning over Streams},
 journal      = {Artificial Intelligence},
 volume       = {261},
 pages        = {16--70},
 doi          = {10.1016/j.artint.2018.04.003},
)
@inproceedings(bohlen1998,
 author       = {Michael~H Bohlen and Renato Busatto and Christian~S. Jensen},
 year         = {1998},
 title        = {Point-versus interval-based temporal data models},
 booktitle    = {Proceedings 14th International Conference on Data Engineering},
 pages        = {192--200},
 doi          = {10.1109/ICDE.1998.655777},
)
@article(Bozzeli_2018,
 author       = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2018},
 title        = {Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison},
 journal      = {ACM Trans. Comput. Logic},
 volume       = {20},
 number       = {1},
 doi          = {10.1145/3281028},
)
@inproceedings(Bresolin_2008,
 author       = {Davide Bresolin and Della~Monica, Dario and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
 year         = {2008},
 title        = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification},
 editor       = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
 booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {590--604},
 doi          = {10.1007/978-3-540-89439-1_41},
)
@inproceedings(Clarkson2014,
 author       = {Michael~R. Clarkson and Bernd Finkbeiner and Masoud Koleini and Kristopher~K. Micinski and Markus~N. Rabe and C{\'{e}}sar S{\'{a}}nchez},
 year         = {2014},
 title        = {Temporal Logics for Hyperproperties},
 editor       = {Mart{\'{\i}}n Abadi and Steve Kremer},
 booktitle    = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8414},
 publisher    = {Springer},
 pages        = {265--284},
 doi          = {10.1007/978-3-642-54792-8\_15},
)
@inproceedings(Cugola_Margara_2010,
 author       = {Gianpaolo Cugola and Alessandro Margara},
 year         = {2010},
 title        = {TESLA: a formally defined event specification language},
 booktitle    = {DEBS ’10},
 publisher    = {ACM Press},
 pages        = {50},
 doi          = {10.1145/1827418.1827427},
)
@inproceedings(Angelo2005,
 author       = {Ben D'Angelo and Sriram Sankaranarayanan and Cesar Sanchez and Will Robinson and Bernd Finkbeiner and Henny~B. Sipma and Sandeep Mehrotra and Zohar Manna},
 year         = {2005},
 title        = {LOLA: Runtime Monitoring of Synchronous Systems},
 booktitle    = {Proceedings of the 12th International Symposium on Temporal Representation and Reasoning},
 series       = {TIME '05},
 publisher    = {IEEE Computer Society},
 address      = {USA},
 pages        = {166–174},
 doi          = {10.1109/TIME.2005.26},
)
@inproceedings(Dohr2018,
 author       = {Andreas Dohr and Christiane Engels and Andreas Behrend},
 year         = {2018},
 title        = {{Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases}},
 editor       = {Natasha Alechina and N{\o}rv{\r a}g, Kjetil and Wojciech Penczek},
 booktitle    = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {120},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {11:1--11:16},
 doi          = {10.4230/LIPIcs.TIME.2018.11},
)
@inproceedings(Gabbay_1980,
 author       = {Dov Gabbay and Amir Pnueli and Saharon Shelah and Jonathan Stavi},
 year         = {1980},
 title        = {On the Temporal Analysis of Fairness},
 booktitle    = {Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '80},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {163–173},
 doi          = {10.1145/567446.567462},
)
@article(halpern1991,
 author       = {Joseph~Y. Halpern and Yoav Shoham},
 year         = {1991},
 title        = {A propositional modal logic of time intervals},
 journal      = {Journal of the ACM},
 volume       = {38},
 number       = {4},
 pages        = {935–962},
 doi          = {10.1145/115234.115351},
)
@phdthesis(Kamp1968,
 author       = {Johan Anthony~Wilem Kamp},
 year         = {1968},
 title        = {Tense Logic and the Theory of Linear Order},
 school       = {University of California, Los Angeles},
)
@article(kowalski86,
 author       = {Robert Kowalski and Marek Sergot},
 year         = {1986},
 title        = {A logic-based calculus of events},
 journal      = {New Generation Computing},
 volume       = {4},
 number       = {1},
 pages        = {67--95},
 doi          = {10.1007/BF03037383},
)
@inproceedings(Krebs18,
 author       = {Andreas Krebs and Arne Meier and Jonni Virtema and Martin Zimmermann},
 year         = {2018},
 title        = {Team Semantics for the Specification and Verification of Hyperproperties},
 editor       = {Igor Potapov and Paul~G. Spirakis and James Worrell},
 booktitle    = {43rd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
 series       = {LIPIcs},
 volume       = {117},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {10:1--10:16},
 doi          = {10.4230/LIPIcs.MFCS.2018.10},
)
@inproceedings(Lodaya_2000,
 author       = {Kamal Lodaya},
 year         = {2000},
 title        = {Sharpening the Undecidability of Interval Temporal Logic},
 editor       = {Jifeng He and Masahiko Sato},
 booktitle    = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1961},
 publisher    = {Springer},
 pages        = {290--298},
 doi          = {10.1007/3-540-44464-5\_21},
)
@inproceedings(Mascle_2020,
 author       = {Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann},
 year         = {2020},
 title        = {From LTL to RLTL Monitoring: Improved Monitorability through Robust Semantics},
 booktitle    = {Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '20},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {170--204},
 doi          = {10.1145/3365365.3382197},
)
@inproceedings(pitsikalis22a,
 author       = {Manolis Pitsikalis and Alexei Lisitsa and Shan Luo},
 year         = {2021},
 title        = {Representation and Processing of Instantaneous and Durative Temporal Phenomena},
 editor       = {Emanuele~De Angelis and Wim Vanhoof},
 booktitle    = {Logic-Based Program Synthesis and Transformation - 31st International Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {13290},
 publisher    = {Springer},
 pages        = {135--156},
 doi          = {10.1007/978-3-030-98869-2\_8},
)
@inproceedings(pitsikalis22b,
 author       = {Manolis Pitsikalis and Alexei Lisitsa and Patrick Totzke and Simon Lee},
 year         = {2022},
 title        = {Making Sense of Heterogeneous Maritime Data},
 booktitle    = {2022 23rd IEEE International Conference on Mobile Data Management (MDM)},
 pages        = {401--406},
 doi          = {10.1109/MDM55031.2022.00089},
)
@inproceedings(Pnueli_1977,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
 publisher    = {IEEE},
 address      = {Providence, RI, USA},
 pages        = {46–57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(Rabinovich_2014,
 author       = {Alexander Rabinovich},
 year         = {2014},
 title        = {{A Proof of Kamp's theorem}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 10, Issue 1}},
 doi          = {10.2168/LMCS-10(1:14)2014},
)
@article(RAY2019,
 author       = {Cyril Ray and Richard Dréo and Elena Camossi and Anne-Laure Jousselme and Clément Iphar},
 year         = {2019},
 title        = {Heterogeneous integrated dataset for Maritime Intelligence, surveillance, and reconnaissance},
 journal      = {Data in Brief},
 volume       = {25},
 pages        = {104141},
 doi          = {10.1016/j.dib.2019.104141},
)
@article(Venema_1990,
 author       = {Yde Venema},
 year         = {1990},
 title        = {Expressiveness and completeness of an interval tense logic.},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {31},
 number       = {4},
 doi          = {10.1305/ndjfl/1093635589},
)
@incollection(OHRSTROM2006447,
 author       = {Peter Øhrstrøm and Per Hasle},
 year         = {2006},
 title        = {Modern temporal logic: The philosophical background},
 editor       = {Dov~M. Gabbay and John Woods},
 booktitle    = {Logic and the Modalities in the Twentieth Century},
 series       = {Handbook of the History of Logic},
 volume       = {7},
 publisher    = {North-Holland},
 pages        = {447--498},
 doi          = {10.1016/S1874-5857(06)80032-4},
)