Web Automata: A Behavioral Model of Web applications based on the MVC model. - Shoji Yuen; Keishi Kato; Daiju Kato; Kiyoshi Agusa (Inf. Media Technol., 2006)