@book(Alur:2015,
 author       = {R.~Alur},
 year         = {2015},
 title        = {Principles of Cyber-Physical Systems},
 publisher    = {The MIT Press},
)
@inproceedings(ames:2005,
 author       = {A.~D. Ames and S.~Sastry},
 year         = {2005},
 title        = {A homology theory for hybrid systems: Hybrid homology},
 booktitle    = {Proceedings of the 2005 International Workshop on Hybrid Systems Computation and Control (HSCC)},
 organization = {Springer},
 doi          = {10.1007/978-3-540-31954-2\_6},
)
@incollection(ashby:1991,
 author       = {W.~R. Ashby},
 year         = {1991},
 title        = {Principles of the self-organizing system},
 booktitle    = {Facets of systems science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4899-0718-9\_38},
)
@article(baez:2015,
 author       = {J.~C. Baez and J.~Erbele},
 year         = {2015},
 title        = {Categories in control},
 journal      = {Theory and Applications of Categories},
 url          = {http://www.tac.mta.ca/tac/volumes/30/24/30-24.pdf},
)
@inproceedings(breiner:2019,
 author       = {S.~Breiner and O.~Marie-Rose and B.~S. Pollard and E.~Subrahmanian},
 year         = {2020},
 title        = {Operadic diagnosis in hierarchical systems},
 booktitle    = {Proceedings of the 2019 Applied Category Theory Conference ({ACT})},
 doi          = {10.4204/EPTCS.323.5},
)
@incollection(breiner:2019a,
 author       = {S.~Breiner and R.~D. Sriram and E.~Subrahmanian},
 year         = {2019},
 title        = {Compositional Models for Complex Systems},
 booktitle    = {Artificial Intelligence for the Internet of Everything},
 publisher    = {Elsevier},
 doi          = {10.1016/B978-0-12-817636-8.00013-2},
)
@inproceedings(carter:2018,
 author       = {B.~T. Carter and G.~Bakirtzis and C.~R. Elks and C.~H. Fleming},
 year         = {2018},
 title        = {A systems approach for eliciting mission-centric security requirements},
 booktitle    = {Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)},
 organization = {IEEE},
 doi          = {10.1109/SYSCON.2018.8369539},
)
@inproceedings(duran:2020,
 author       = {F.~Dur{\'a}n and R.~Heinrich and D.~P{\'e}rez-Palac{\'\i}n and C.~L. Talcott and S.~Zschaler},
 year         = {2020},
 title        = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)},
 booktitle    = {Dagstuhl Reports},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik},
 url          = {https://drops.dagstuhl.de/opus/volltexte/2020/11985/},
)
@inproceedings(fiadeiro:1995,
 author       = {J.~L. Fiadeiro and T.~Maibaum},
 year         = {1995},
 title        = {Interconnecting formalisms: supporting modularity, reuse and incrementality},
 booktitle    = {Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)},
 doi          = {10.1145/222124.222141},
)
@book(fong:2018,
 author       = {B.~Fong and D.~I. Spivak},
 year         = {2019},
 title        = {An Invitation to Applied Category Theory: Seven Sketches in Compositionality},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781108668804},
)
@inproceedings(gebreyohannes:2018,
 author       = {S.~Gebreyohannes and W.~Edmonson and A.~Esterline},
 year         = {2018},
 title        = {Formalization of the responsive and formal design process using category theory},
 booktitle    = {Proceedings of the 2018 Annual IEEE International Systems Conference (SysCon)},
 organization = {IEEE},
 doi          = {10.1109/SYSCON.2018.8369508},
)
@article(gell-mann:1994,
 author       = {M.~Gell-Mann},
 year         = {1994},
 title        = {Complex adaptive systems},
 journal      = {Complexity: Metaphors, Models, and Reality},
 url          = {https://authors.library.caltech.edu/60491/},
)
@inproceedings(gell-mann:2010,
 author       = {M.~Gell-Mann and S.~Lloyd},
 year         = {2010},
 title        = {Effective complexity},
 booktitle    = {Murray Gell-Mann: Selected Papers},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812836854\_0027},
)
@article(goguen:1991,
 author       = {J.~A. Goguen},
 year         = {1991},
 title        = {A categorical manifesto},
 journal      = {Mathematical structures in computer science},
 doi          = {10.1017/S0960129500000050},
)
@article(hasuo:2017,
 author       = {I.~Hasuo},
 year         = {2017},
 title        = {Metamathematics for systems design},
 journal      = {New Generation Computing},
 doi          = {10.1007/s00354-017-0023-1},
)
@inproceedings(kibret:2019,
 author       = {N.~Kibret and W.~W. Edmonson and S.~Gebreyohannes},
 year         = {2019},
 title        = {Category Theoretic Based Formalization of the Verifiable Design Process},
 booktitle    = {Proceedings of the 2019 {IEEE} International Systems Conference (SysCon)},
 publisher    = {{IEEE}},
 doi          = {10.1109/SYSCON.2019.8836804},
)
@article(leveson:2004,
 author       = {N.~G. Leveson},
 year         = {2004},
 title        = {A new accident model for engineering safer systems},
 journal      = {Safety science},
 doi          = {10.1016/S0925-7535(03)00047-X},
)
@article(leveson:2017,
 author       = {N.~G. Leveson},
 year         = {2017},
 title        = {Rasmussen's legacy: A paradigm change in engineering for safety},
 journal      = {Applied ergonomics},
 doi          = {10.1016/j.apergo.2016.01.015},
)
@misc(systemModel,
 author       = {B.~Messner and D.~Tilbury and R.~Hill and J.~D. Taylor},
 year         = {2020},
 title        = {Control Tutorials for {Matlab} and {Simulink}: Aircraft Pitch},
 howpublished = {\url{https://web.archive.org/web/20200509164711/http://ctms.engin.umich.edu/CTMS/index.php?example=AircraftPitch&section=SystemModeling}},
)
@inproceedings(nolan:2019,
 author       = {J.~S. Nolan and B.~S. Pollard and S.~Breiner and D.~Anand and E.~Subrahmanian},
 year         = {2020},
 title        = {Compositional Models for Power Systems},
 booktitle    = {Proceedings of the 2019 Applied Category Theory Conference {ACT}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 doi          = {10.4204/EPTCS.323.10},
)
@inproceedings(rajkumar:2010,
 author       = {R.~Rajkumar and I.~Lee and L.~Sha and J.~Stankovic},
 year         = {2010},
 title        = {Cyber-physical systems: the next computing revolution},
 booktitle    = {Proceedings of the 47th Design Automation Conference (DAC)},
 organization = {IEEE},
 doi          = {10.1145/1837274.1837461},
)
@article(rasmussen:1985,
 author       = {J.~Rasmussen},
 year         = {1985},
 title        = {The role of hierarchical knowledge representation in decisionmaking and system management},
 journal      = {IEEE Transactions on systems, man, and cybernetics},
 doi          = {10.1109/TSMC.1985.6313353},
)
@article(sangiovanni:2012,
 author       = {Sangiovanni{-}Vincentelli, A.~L. and W.~Damm and R.~Passerone},
 year         = {2012},
 title        = {Taming {D}r. {F}rankenstein: Contract-Based Design for Cyber-Physical Systems},
 journal      = {European Journal of Control},
 doi          = {10.3166/ejc.18.217-238},
)
@inproceedings(saravi:2008,
 author       = {M.~Saravi and L.~Newnes and A.~R. Mileham and Y.~M. Goh},
 year         = {2008},
 title        = {Estimating cost at the conceptual design stage to optimize design in terms of performance and cost},
 booktitle    = {Proceedings of the 15th ISPE International Conference on Concurrent Engineering (CE)},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84800-972-1\_11},
)
@article(spivak:2016,
 author       = {P.~Schultz and D.~I. Spivak and C.~Vasilakopoulou},
 year         = {2020},
 title        = {Dynamical systems and sheaves},
 journal      = {Applied Categorical Structures},
 doi          = {10.1007/s10485-019-09565},
)
@unpublished(SpivakSteadyStates,
 author       = {D.~I. Spivak},
 year         = {2016},
 title        = {The steady states of coupled dynamical systems compose according to matrix arithmetic},
 note         = {ArXiv:1512.00802 [math.CT]},
)
@unpublished(spivak:2020,
 author       = {D.~I. Spivak},
 year         = {2020},
 title        = {Poly: An abundant categorical setting for mode-dependent dynamics},
 note         = {ArXiv:2005.01894 [math.CT]},
)
@article(WiringDiagram,
 author       = {D.~Vagner and D.~I. Spivak and E.~Lerman},
 year         = {2015},
 title        = {Algebras of open dynamical systems on the operad of wiring diagrams},
 journal      = {Theory and Applications of Categories},
 url          = {http://www.tac.mta.ca/tac/volumes/30/51/30-51.pdf},
)
@article(von:1950,
 author       = {L.~Von~Bertalanffy},
 year         = {1950},
 title        = {An outline of general system theory.},
 journal      = {British Journal for the Philosophy of Science},
 doi          = {10.1093/bjps/I.2.134},
)
@article(young:2014,
 author       = {W.~Young and N.~G. Leveson},
 year         = {2014},
 title        = {An integrated approach to safety and security based on systems theory},
 journal      = {Communications of the ACM},
 doi          = {10.1145/2556938},
)