Abstract: Object-Z is an object-oriented extension of the Z notation for formal specifications. Using Object-Z, structuring and developing large, complex software system specifications became possible ...