Modeling process variations in cell libraries is fundamental to enabling statistical static timing analysis. Achieving it in an industrial setting has many stringent requirements. In this paper, we propose a generic model that satisfies all these requirements. We also explain the results of its rigorous validation in an industrial setting.