TOPO (Toolset to support Product Realisation from Specifications) is distributed as free software for non-profit use.