Kai Richter, Rolf Ernst, Wayne Wolf. Local Constraint Derivation for Platform-Based Design. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 26-35, Shaker, 2002.
Abstract is missing.