  Engineering safe and secure cyber-physical systems requires system engineers
to develop and maintain a number of model views, both dynamic and static, which
can be seen as algebras. We posit that verifying the composition of
requirement, behavioral, and architectural models using category theory gives
rise to a strictly compositional interpretation of cyber-physical systems
theory, which can assist in the modeling and analysis of safety-critical
cyber-physical systems.
