Haidar, et al.. Formal Modelling of a Usable Identity Management Solution for Virtual Organisations. Open Publishing Association, Jan. 2010, doi:10.4204/eptcs.16.4.