iState : A Statechart

This paper describes formal steps in the design of iState, a tool for translating statecharts into programming languages, and describes how the class diagrams are further refined, for which they use class diagrams together with their textual counterparts.