Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. - Alessandro Campi; Eliseo Martinez; Pierluigi San Pietro (MBUI, 2004)