Koskinen, J. et al. 2002. Implemeting a component-based tool for interactive synthesis of UML statechart diagrams. Acta Cybernetica. 15, 4 (Jan. 2002), 547–565.