Dag Björklund Johan Lilius Ivan Porres Towards Efficient Code Synthesis from Statecharts. 29-41 2001 conf/uml/2001p pUML db/conf/uml/puml2001.html#BjorklundLP01