Modular and visual specification of hybrid systems an introdcution to hyCharts - Grosu, Radu; Stauner, Thomas 1971- (Inst. für Informatik, 1998)