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