@(Code,
 howpublished = {\texttt{https://code.google.com/archive/p/isabelle-behavioral-approach/downloads}},
)
@book(Aubin2009,
 author       = {Jean-Pierre Aubin},
 year         = {2009},
 title        = {Viability Theory},
 publisher    = {Springer Nature},
 doi          = {10.1007/978-0-8176-4910-4},
)
@article(Bacciotti05generalizedsolutions,
 author       = {A. Bacciotti},
 year         = {2005},
 title        = {Generalized solutions of differential inclusions and stability},
 journal      = {Ital. J. Pure Appl. Math},
 pages        = {183--192},
)
@article(Baheti2011,
 author       = {R. Baheti and H. Gill},
 year         = {2011},
 title        = {Cyber-physical systems},
 journal      = {The Impact of Control Technology},
 pages        = {161--166},
)
@book(Fillipov64,
 author       = {A. F. Filippov},
 year         = {1988},
 title        = {Differential Equations with Discontinuous Righthand Sides},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-94-015-7793-9},
)
@article(Goebeletal2009,
 author       = {R. Goebel and R. G. Sanfelice and A. Teel},
 year         = {2009},
 title        = {Hybrid dynamical systems},
 journal      = {Control Systems, IEEE},
 volume       = {29},
 number       = {2},
 pages        = {28--93},
 doi          = {10.1109/MCS.2008.931718},
)
@article(Hajek1967,
 author       = {O. H{\'a}jek},
 year         = {1967},
 title        = {Theory of processes, {I}},
 journal      = {Czechoslovak Mathematical Journal},
 volume       = {17},
 pages        = {159--199},
)
@article(Hajek1967a,
 author       = {O. H{\'a}jek},
 year         = {1967},
 title        = {Theory of processes, {II}},
 journal      = {Czechoslovak Mathematical Journal},
 volume       = {17},
 number       = {3},
 pages        = {372--398},
)
@incollection(Ivanov2012,
 author       = {Ievgen Ivanov},
 year         = {2013},
 title        = {A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems},
 booktitle    = {{ICT} in Education, Research, and Industrial Applications},
 publisher    = {Springer},
 pages        = {111--130},
 doi          = {10.1007/978-3-642-35737-4\_7},
)
@incollection(Ivanov2013new,
 author       = {Ievgen Ivanov},
 year         = {2013},
 title        = {On Existence of Total Input-Output Pairs of Abstract Time Systems},
 booktitle    = {Information and Communication Technologies in Education, Research, and Industrial Applications},
 publisher    = {Springer},
 pages        = {308--331},
 doi          = {10.1007/978-3-319-03998-5\_16},
)
@incollection(IvTAMC2014,
 author       = {Ievgen Ivanov},
 year         = {2014},
 title        = {On Representations of Abstract Systems with Partial Inputs and Outputs},
 booktitle    = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {104--123},
 doi          = {10.1007/978-3-319-06089-7\_8},
)
@incollection(Ivanov2016,
 author       = {Ievgen Ivanov},
 year         = {2016},
 title        = {On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems},
 booktitle    = {Coalgebraic Methods in Computer Science},
 publisher    = {Springer},
 pages        = {216--234},
 doi          = {10.1007/978-3-319-40370-0\_13},
)
@book(Lee2011,
 author       = {E.A. Lee and S.A. Seshia},
 year         = {2017},
 title        = {Introduction to embedded systems: A cyber-physical systems approach, Second Edition},
 publisher    = {MIT Press},
)
@book(Liberzon2003,
 author       = {Daniel Liberzon},
 year         = {2003},
 title        = {Switching in Systems and Control},
 publisher    = {Birkh\"{a}user Boston},
 doi          = {10.1007/978-1-4612-0017-8},
)
@incollection(repovs2013continuous,
 author       = {Repov{\v{s}}, Du{\v{s}}an and Pavel V. Semenov},
 year         = {2013},
 title        = {Continuous Selections of Multivalued Mappings},
 booktitle    = {Recent Progress in General Topology {III}},
 publisher    = {Atlantis Press},
 pages        = {711--749},
 doi          = {10.2991/978-94-6239-024-9\_17},
)