Rodolfo Castelló Rym Mili Ioannis G. Tollis Automatic layout of statecharts. 25-55 2002 32 Softw., Pract. Exper. 1 db/journals/spe/spe32.html#CastelloMT02