(Before downloading please read this disclaimer.)

HL7 Schema Tightener v1.7

This is an XSLT transform that tightens HL7v3 XML schemas to produce 'strict' versions.
Download it here.
Readme is here.