Gerald Lüttgen Michael von der Beeck Rance Cleaveland Statecharts Via Process Algebra. 399-414 http://link.springer.de/link/service/series/0558/bibs/1664/16640399.htm 1999 conf/concur/1999 CONCUR db/conf/concur/concur1999.html#LuttgenBC99