Title: Ein praktikables Verfahren zur interaktiven Mikroprogrammtransformation und deren automatischer formaler Verifikation