Intermediate representations of concurrent VHDL-based specifications

An ozonizer which comprises a flat hollow metal grounded electrode and a discharge electrode plate spaced apart therefrom by a discharge space. The discharge electrode plate includes a flat hollow dielectric member, a high voltage electrode formed on the inner surface of the dielectric member, a spacer material provided within and held in a clamped state by the dielectric member, a lead conductor provided within and held in a clamped state by the spacer material and a connector connecting the lead conductor and high voltage electrode.