Text this: ZB 2002: formal specification and development in Z and B :