Formal Description of Test Specification and ATE Architecture for Mixed-Signal Test. - Baolin Deng; Wolfram Glauert (ITC, 2004)