Radu Grosu, Thomas Stauner. Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods in System Design, 21(1):5-38, 2002.
@article{GrosuS02,
title = {Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts},
author = {Radu Grosu and Thomas Stauner},
year = {2002},
researchr = {https://researchr.org/publication/GrosuS02},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {21},
number = {1},
pages = {5-38},
}