The IVY workbench is a model based tool for the analysis of interactive systems designs. The tool acts as a frontend to the NuSMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.
Modelling and systematic analysis of interactive systems M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012) In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28.
Resources for Situated Actions G. J. Doherty, J. C. Campos and M. D. Harrison (2008) In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 194-207. Springer-Verlag.
Connecting rigorous system analysis to experience centred design M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008) In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
Supporting resource-based analysis of task information needs J. C. Campos and G. J. Doherty (2006) In S.W. Gilroy and M.D. Harrison, editors, Interactive Systems: Design, Specification and Verification, volume 3941 of Lecture Notes in Computer Science, pages 188-200. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-34145-5)