This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...