RT DF A1 Zeng, Yingfu. T1 Making Hybrid Systems Easier to Model, Simulate, and Visualize