Formal verification of undesired behaviours in the CERD case study. - Fabio Paternò; M. Mezzanotte (EHCI, 1995)

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. - Philippe A. Palanque; Fabio Paternò; Rémi Bastide; M. Mezzanotte (DSV-IS, 1996)

Including time in the notion of interactor. - M. Mezzanotte; Fabio Paternò (ACM SIGCHI Bull., 1996)