Return to Article Details Synthesizing Executable Simulations from Structural Models of Component-Based Systems Download Download PDF