Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus. - Bernd Stöhr; Utz G. Baitinger (MBMV, 1999)

FlexBench: Reuse of Verification IP to Increase Productivity. - Bernd Stöhr; Michael Simmons; Joachim Geishauser (DATE, 2002)