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