KARL-II - eine Sprache zur Spezifikation beim Entwurf Kundenspezifischer Digitalbausteine.