Ana Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal. Modeling and Testing Hierarchical GUIs. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. pages 329-344, 2005. [doi]
Abstract is missing.