Z is a formal specification language. The Z driver (originally implemented by Wei Liu for his MSc thesis) makes use of the infrastructure provided by the CZT project (http://czt.sourceforge.net) to allow users to manage Z models (expressed in LaTeX) in Epsilon programs. CZT is released under GPL and therefore this driver could not have been hosted under Eclipse.org. To use the Z driver please check out the org.eclipse.epsilon.emc.z.* plugins.