Software Synthesis from Statechart Models for Real Time Systems.

Claude Ackad Software Synthesis from Statechart Models for Real Time Systems. 73-84 1998 conf/ifip10-3/1998dipes DIPES db/conf/ifip10-3/dipes1998.html#Ackad98