Algorithmische Entwurfsverfahren für kombinierte PLA-ROM-Steuerwerke unter Verwendung von ZählernBewachen