Parameterized timing analysis with general delay models and arbitrary variation sources