One of their software products is a Requirement Traceability tool call SLATE. Per their website [L1 ] they are currently on version 6.0 of SLATE [L2 ] which uses Tcl/Tk 8.0.5 (and TclPro).
per their website...
SLATE (System Level Automation Tool for Enterprises) addresses these problems by:
*Providing accurate design documentation that is a reflection of the team-captured design (changing design changes the documentation)