This feature is a top feature included in the stand-alone product definition. It refers to other featuers required in runtime and uses as an assembly point for the stand-alone TLA+ Toolbox.