User interfaces are reactive systems that are specified by the relation between the events received by the user interface application and the actions the application must undertake on the interfaced ...