From Requirements to Statecharts via Design Refinement