@misc(cp-agents,
 howpublished = {\url{https://scm.cwi.nl/FM/cp-agent}},
)
@inproceedings(AH01,
 author       = {Luca de Alfaro and Thomas A. Henzinger},
 year         = {2001},
 title        = {Interface Theories for Component-Based Design},
 editor       = {Thomas A. Henzinger and Christoph M. Kirsch},
 booktitle    = {Embedded Software},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {148--165},
 doi          = {10.1145/177492.177726},
)
@article(AS85,
 author       = {Bowen Alpern and Fred B. Schneider},
 year         = {1985},
 title        = {Defining liveness},
 journal      = {Information Processing Letters},
 volume       = {21},
 number       = {4},
 pages        = {181 -- 185},
 doi          = {10.1016/0020-0190(85)90056-0},
)
@inproceedings(AR03,
 author       = {F. Arbab and J. J. M. M. Rutten},
 year         = {2003},
 title        = {A Coinductive Calculus of Component Connectors},
 editor       = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker},
 booktitle    = {Recent Trends in Algebraic Development Techniques},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {34--55},
 doi          = {10.2140/pjm.1955.5.285},
)
@article(A05,
 author       = {Farhad Arbab},
 year         = {2005},
 title        = {Abstract Behavior Types: a foundation model for components and their composition},
 journal      = {Science of Computer Programming},
 volume       = {55},
 number       = {1},
 pages        = {3--52},
 doi          = {10.1016/j.scico.2004.05.010},
 note         = {Formal Methods for Components and Objects: Pragmatic aspects and applications},
)
@article(CS10,
 author       = {Michael R. Clarkson and Fred B. Schneider},
 year         = {2010},
 title        = {Hyperproperties},
 journal      = {J. Comput. Secur.},
 volume       = {18},
 number       = {6},
 pages        = {1157\IeC{\textendash}1210},
)
@book(clavel-etal-07maudebook,
 author       = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Mart\'{\i}-Oliet, Narciso and Jos\'{e} Meseguer and Carolyn Talcott},
 year         = {2007},
 title        = {All About Maude: A High-Performance Logical Framework},
 publisher    = {Springer},
)
@article(FLDL18,
 author       = {Jos\IeC{\'e} Fiadeiro and Ant\IeC{\'o}nia Lopes and Beno\IeC{\^\i}t Delahaye and Axel Legay},
 year         = {2018},
 title        = {Dynamic networks of heterogeneous timed machines},
 journal      = {\hskip1em\relax Mathematical Structures in Computer Science\hskip1em\relax},
 volume       = {28},
 number       = {6},
 pages        = {800\IeC{\textendash}855},
 doi          = {10.1017/S0960129517000135},
)
@inproceedings(BCJL20,
 author       = {Bernd Finkbeiner and Christopher Hahn and Jana Hofmann and Leander Tentrup},
 year         = {2020},
 title        = {Realizing $\omega$-regular Hyperproperties},
 editor       = {Shuvendu K. Lahiri and Chao Wang},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {40--63},
 doi          = {10.1109/CSFW.2003.1212703},
)
@misc(kanovich2021complexity,
 author       = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
 year         = {2021},
 title        = {On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report},
)
@inproceedings(kanovich-etal-16formats,
 author       = {Max Kanovich1 and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
 year         = {2016},
 title        = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems},
 booktitle    = {The 14th International Conference on Formal Modelling and Analysis of Timed Systems},
 volume       = {9884},
 pages        = {228--244},
 doi          = {10.1017/S096012951500016X},
)
@article(KLAT19,
 author       = {Kapp\IeC{\'e}, Tobias and Benjamin Lion and Farhad Arbab and Carolyn Talcott},
 year         = {2019},
 title        = {Soft component automata: Composition, compilation, logic, and verification},
 journal      = {Science of Computer Programming},
 volume       = {183},
 pages        = {102300},
 doi          = {10.1016/j.scico.2019.08.001},
)
@article(KK12,
 author       = {K. {Kim} and P. R. {Kumar}},
 year         = {2012},
 title        = {Cyber\IeC{\textendash}Physical Systems: A Perspective at the Centennial},
 journal      = {Proceedings of the IEEE},
 volume       = {100},
 number       = {Special Centennial Issue},
 pages        = {1287--1308},
 doi          = {10.1109/JPROC.2012.2189792},
)
@inproceedings(L08,
 author       = {E. A. {Lee}},
 year         = {2008},
 title        = {Cyber Physical Systems: Design Challenges},
 booktitle    = {2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)},
 pages        = {363--369},
 doi          = {10.1109/ISORC.2008.25},
)
@misc(LAT21,
 author       = {Benjamin Lion and Farhad Arbab and Carolyn Talcott},
 year         = {2021},
 title        = {A Semantic Model for Interacting Cyber-Physical Systems},
)
@inproceedings(LML06,
 author       = {Xiaojun Liu and Eleftherios Matsikoudis and Edward A. Lee},
 year         = {2006},
 title        = {Modeling Timed Concurrent Systems},
 editor       = {Christel Baier and Holger Hermanns},
 booktitle    = {CONCUR 2006 -- Concurrency Theory},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {1--15},
 doi          = {10.1016/S0304-3975(99)00165-6},
)
@article(LSV03,
 author       = {Nancy Lynch and Roberto Segala and Frits Vaandrager},
 year         = {2003},
 title        = {Hybrid I/O automata},
 journal      = {Information and Computation},
 volume       = {185},
 number       = {1},
 pages        = {105--157},
 doi          = {10.1016/S0890-5401(03)00067-1},
)
@inproceedings(LJXJT17,
 author       = {Luan Viet Nguyen and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh and Taylor T. Johnson},
 year         = {2017},
 title        = {Hyperproperties of Real-Valued Signals},
 booktitle    = {Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design},
 series       = {MEMOCODE '17},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {104\IeC{\textendash}113},
 doi          = {10.1145/3127041.3127058},
)
@inproceedings(JAP19,
 author       = {Jin Woo Ro and Avinash Malik and Partha Roop},
 year         = {2019},
 title        = {A Compositional Semantics of Simulink/Stateflow Based on Quantized State Hybrid Automata},
 booktitle    = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design},
 series       = {MEMOCODE '19},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {11},
 doi          = {10.1145/3359986.3361198},
)
@article(R00,
 author       = {J.J.M.M. Rutten},
 year         = {2000},
 title        = {Universal coalgebra: a theory of systems},
 journal      = {Theoretical Computer Science},
 volume       = {249},
 number       = {1},
 pages        = {3--80},
 doi          = {10.1016/S0304-3975(00)00056-6},
 note         = {Modern Algebra},
)
@techreport(SASMO10,
 author       = {Lui Sha and Al-Nayeem, Abdullah and Mu Sun and Jose Meseguer and \IeC{\"O}lveczky, Peter},
 year         = {2010},
 title        = {PALS: Physically Asynchronous Logically Synchronous Systems},
 type         = {Technical Report},
 institution  = {University of Illinois, Urbana Champaign},
)
@inbook(T08,
 author       = {Carolyn Talcott},
 year         = {2008},
 title        = {Cyber-Physical Systems and Events},
 pages        = {101--115},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-89437-7_6},
)
@inbook(TAY15,
 author       = {Carolyn Talcott and Farhad Arbab and Maneesh Yadav},
 year         = {2015},
 title        = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems},
 pages        = {273--290},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-15545-6_18},
)
@article(TSSL13,
 author       = {S. Tripakis and C. Stergiou and C. Shaver and Edward A. Lee},
 year         = {2013},
 title        = {A modular formal semantics for Ptolemy\IeC{\textdagger}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 pages        = {834 -- 881},
 doi          = {10.1007/3-540-57208-2_27},
)