  We introduce a transition system based specification of cyber-physical
systems whose semantics is compositional with respect to a family of algebraic
products. We give sufficient conditions for execution of a product to be
correctly implemented by a lazy expansion of the product construction. The
transition system algebra is implemented in the Maude rewriting logic system,
and we report a simple case study illustrating compositional specification.
