Formale Beschreibung der Testspezifikation und Testerarchitektur zur Verbesserung der Testentwicklung für gemischt analog-digitale integrierte SchaltungenNotifícame