HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model - Vazquez, P.; Juan-Chico, J.; Bellido, M.; Acosta, A.; Valencia, M. (Proceedings of the conference on Design, automation and test in Europe, 2001)