Giuseppe Della Penna Benedetto Intrigila Sergio Orefice Generating graphical applications from state-transition visual specifications. 861-880 2001 55 Int. J. Hum.-Comput. Stud. 6 http://dx.doi.org/10.1006/ijhc.2001.0508 db/journals/ijmms/ijmms55.html#PennaIO01