Radu Grosu Thomas Stauner Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. 5-38 2002 21 Formal Methods in System Design 1 db/journals/fmsd/fmsd21.html#GrosuS02