Koskinen, J., Mäkinen, E. and Systä, T. 2002. Implemeting a component-based tool for interactive synthesis of UML statechart diagrams. Acta Cybernetica. 15, 4 (Jan. 2002), 547-565.