Constructing the user interface with statecharts - Horrocks, Ian (Addison-Wesley, 1999)