Introducing structure into behavioural descriptions obtained from timing diagram specifications. - Wolf-Dieter Tiedemann; Stefan Lenk 001; C. Grobe; Werner Grass (Microprocess. Microprogramming, 1993)

Extended timing diagrams as a specification language. - Stefan Lenk 001 (EURO-DAC, 1994)

Design of Control Dominated Hardware Based on Formal Methods. - Werner Grass; Stefan Lenk 001; Christine Sontheim (EUROMICRO, 1998)

Ein CAD-System zum formal basierten, automatischen Entwurf von Kommunikationsprozessoren aus abstrakten Zeitdiagrammspezifikationen. - Stefan Lenk 001 (Shaker, 2000)