Process algebraic modelling of attentional capture and human electrophysiology in interactive systems Li SuHoward BowmanBrad Wyble Original Article Open access 19 November 2008 Pages: 513 - 539
Verification-guided modelling of salience and cognitive load Rimvydas RukšėnasJonathan BackAnn Blandford Original Article 15 January 2009 Pages: 541 - 569
Model-checking user behaviour using interacting components Thomas Anung BasukiAntonio CeroneRudolf Schlatte Original Article 08 January 2009 Pages: 571 - 588
Refinement for user interface designs Judy BowenSteve Reeves Original Article 19 November 2008 Pages: 589 - 612
Physigrams: modelling devices for natural interaction Alan DixMasitah GhazaliDevina Ramduny-Ellis Original Article 06 December 2008 Pages: 613 - 641