FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. - Nixon Sunny George; Cui Zhang; Anne-Louise Radimsky (IRI, 2011)