TVA: A timing verifier with analytic temporal modelling | Publicación