GitHub repository: spgroup/theory-pl-refinement
Description: PVS specification files for the theory of Software Product Line Refinement