A graphic editor based on the linear hybrid automata