Formal Modelling of a Usable Identity Management Solution for Virtual Organisations - Ali Nasrat Haidar; Peter V. Coveney; Ali E. Abdallah; Peter Y. A. Ryan; Bruce Beckles; J. M. Brooke; M. A. S. Jones (FAVO, 2009)