Ein Testbarkeitsanalyseprogramm für mikroprogrammierbare Rechnerstrukturen, integraler Teil des MIMOLA CAD Systems. - Klaus Kelle (1987)