Masakazu Shoji
Lucent Bell Labs
AFTA: a formal delay model for functional thinking analysis
Proceedings of the conference on Design, automation and test in Europe