1. Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8, 275–310 (2001)
2. Campos, J.C., Harrison, M.D.: Considering context and users in interactive systems analysis. In: van de Veer, G., Palanque, P., Wesson, J. (eds.) Engineering Interactive Systems (accepted for publication, 2007)
3. Cimatti, A., Roveri, M., Olivetti, E., Keighren, G., Pistore, M., Roveri, M., Semprini, S., Tchaltsev, A.: NuSMV 2.3 user manual. Technical report, ITC-IRST, Trento, Italy (2007)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
5. Degani, A.: Taming HAL: designing interfaces beyond 2001. Macmillan, Palgrave (2003)