Title: Spezifikation, Analyse und Simulation grosser VLSI-Entwurfe mit Statecharts und Activitycharts