Design of a zooming viewer for statecharts