Synthesis of User Interface Design from Use Cases and Petri Network Representations. - Kelly H. Dalton; Raghava G. Gowda (ISAS-SCI (1), 2001)