Modern engineering systems consist of a large number of interacting components with nonlinear, hybrid behaviors. Building accurate and computationally efficient simulation models for these systems is a challenging task. Researchers have adopted component- [1] and actor-oriented [2] frameworks for modeling large hybrid systems. Mathematical models specify individual component behaviors and formal models of computation define component interactions in these frameworks, and they provide the basis for developing efficient schemes for simulating the hybrid system behavior.