Stefan Ihmor, Markus Visarius, Wolfram Hardt. Modeling of Configurable HW/SW-Interfaces. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 51-60, Shaker, 2003.
Abstract is missing.