Return to Article Details HyPED: Modeling and Analyzing Action Games as Hybrid Systems Download Download PDF