@article(Alur94atheory-shortened,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A {T}heory of {T}imed {A}utomata},
 journal      = {TCS},
 volume       = {126},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(97-alur-henzinger-orig-water-tanks,
 author       = {Rajeev Alur and Thomas A. Henzinger},
 year         = {1997},
 title        = {Modularity for Timed and Hybrid Systems},
 booktitle    = {{CONCUR}},
 series       = {LNCS},
 volume       = {1243},
 publisher    = {Springer},
 pages        = {74--88},
 doi          = {10.1007/3-540-63141-0\_6},
)
@article(arias-ec2022-shortened,
 author       = {Joaqu{\'{\i}}n Arias and Manuel Carro and Zhuo Chen and Gopal Gupta},
 year         = {2022},
 title        = {Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming},
 journal      = {TPLP},
 volume       = {22},
 number       = {1},
 pages        = {51--80},
 doi          = {10.1017/S1471068421000156},
)
@article(scasp-iclp2018-shortened,
 author       = {Joaqu{\'{\i}}n Arias and Manuel Carro and Elmer Salazar and Kyle Marple and Gopal Gupta},
 year         = {2018},
 title        = {{Constraint Answer Set Programming without Grounding}},
 journal      = {TPLP},
 volume       = {18},
 number       = {3-4},
 pages        = {337--354},
 doi          = {10.1017/S1471068418000285},
)
@inproceedings(gelfond88:stable_models-fixed,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 title        = {The {S}table {M}odel {S}emantics for {L}ogic {P}rogramming},
 booktitle    = {ICLP},
 pages        = {1070--1080},
 doi          = {10.2307/2275201},
)
@inproceedings(07-timed-automata-zeno-detection,
 author       = {Rodolfo G{\'{o}}mez and Howard Bowman},
 year         = {2007},
 title        = {Efficient Detection of Zeno Runs in Timed Automata},
 booktitle    = {{FORMATS}},
 series       = {LNCS},
 volume       = {4763},
 publisher    = {Springer},
 pages        = {195--210},
 doi          = {10.1007/978-3-540-75454-1\_15},
)
@inproceedings(96-henzinger-hybrid-automata,
 author       = {Thomas A. Henzinger},
 year         = {1996},
 title        = {The Theory of Hybrid Automata},
 booktitle    = {LICS},
 publisher    = {IEEE CS},
 pages        = {278--292},
 doi          = {10.1109/LICS.1996.561342},
)
@article(13-coarse-abstractions-make-zeno-difficult-to-detect,
 author       = {Frédéric Herbreteau and B Srivathsan},
 year         = {2013},
 title        = {Coarse abstractions make Zeno behaviours difficult to detect},
 journal      = {Logical Methods in Computer Science},
 volume       = {Volume 9, Issue 1},
 eid          = {6},
 doi          = {10.2168/LMCS-9(1:6)2013},
)
@article(99-johansson-bouncing-ball-and-zeno-regularization,
 author       = {Karl Henrik Johansson and Magnus Egerstedt and John Lygeros and Shankar Sastry},
 year         = {1999},
 title        = {On the regularization of Zeno hybrid automata},
 journal      = {Systems \& control letters},
 volume       = {38},
 number       = {3},
 pages        = {141--150},
 doi          = {10.1016/S0167-6911(99)00059-6},
)
@article(13-lamperski-zeno-stability,
 author       = {Andrew G. Lamperski and Aaron D. Ames},
 year         = {2013},
 title        = {Lyapunov Theory for Zeno Stability},
 journal      = {{IEEE TAC}},
 volume       = {58},
 pages        = {100--112},
 doi          = {10.1109/TAC.2012.2208292},
)
@incollection(mueller-ec-chapter,
 author       = {Erik T. Mueller},
 year         = {2008},
 title        = {Chapter 17 Event Calculus},
 booktitle    = {Handbook of Knowledge Representation},
 series       = {Foundations of Artificial Intelligence},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {671--708},
 doi          = {10.1016/S1574-6526(07)03017-9},
)
@book(mueller_book-fixed,
 author       = {Erik T. Mueller},
 year         = {2014},
 title        = {{Commonsense Reasoning: An Event Calculus Based Approach}},
 publisher    = {Morgan Kaufmann},
 doi          = {10.1016/B978-0-12-801416-5.00002-4},
)
@article(clarissa-assurance-shortened,
 author       = {Anitha Murugesan and Isaac Hong Wong and Joaqu{\'{\i}}n Arias and et. al.},
 year         = {2024},
 title        = {Automating Semantic Analysis of System Assurance Cases Using Goal-Directed {ASP}},
 journal      = {TPLP},
 volume       = {24},
 number       = {4},
 pages        = {805--824},
 doi          = {10.1017/S1471068424000425},
)
@inproceedings(12-static-detection-of-zeno-runs-shortened,
 author       = {Jonas Rinast and Sibylle Schupp},
 year         = {2012},
 title        = {Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics},
 booktitle    = {FORMATS},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {220--235},
 doi          = {10.1007/978-3-642-33365-1\_16},
)
@inproceedings(shanahan96-event_calculus-bec-shortened,
 author       = {Murray Shanahan},
 year         = {1996},
 title        = {{Robotics and the Common Sense Informatic Situation}},
 booktitle    = {ECAI},
 publisher    = {Wiley},
 pages        = {684--688},
)
@book(shanahan97-book-frame_problem,
 author       = {Murray Shanahan},
 year         = {1997},
 title        = {{Solving the frame problem: a mathematical investigation of the common sense law of inertia}},
 publisher    = {{MIT} Press},
)
@inproceedings(gupta-train-shortened,
 author       = {Sarat Chandra Varanasi and Joaqu{\'i}n Arias and Elmer Salazar and et. al.},
 year         = {2022},
 title        = {{Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)}},
 booktitle    = {PADL},
 publisher    = {Springer Iternational},
 doi          = {10.1007/978-3-030-94479-7\_12},
)
@article(iclp24-pcapump-ec-scasp-shortened,
 author       = {Ondrej Vasicek and Joaquin Arias and Jan Fiedor and et. al.},
 year         = {2024},
 title        = {{Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming}},
 journal      = {TPLP},
 volume       = {24},
 number       = {4},
 pages        = {844--862},
 doi          = {10.1017/S1471068424000280},
)
@inproceedings(savi,
 author       = {Don Ward},
 year         = {2012},
 title        = {AVSI’s System Architecture Virtual Integration Program: Moving SAVI to the Launch Pad},
 booktitle    = {15th Annual NDIA Systems Engineering Conference},
 url          = {https://ndia.dtic.mil/wp-content/uploads/2012/system/ttrack914871.pdf},
)
@article(01-zhang-zeno-hybrid-systems-shortened,
 author       = {Jun Zhang and Karl Henrik Johansson and et. al.},
 year         = {2001},
 title        = {Zeno hybrid systems},
 journal      = {IJRNC},
 volume       = {11},
 number       = {5},
 pages        = {435--451},
 doi          = {10.1002/rnc.592},
)