GitHub repository: GfSE/SpecIF
Description: Specification Integration Facility - schema, constraint checker and examples