Matthias Krause, Oliver Bringmann, Wolfgang Rosenstiel. Communication Refinement and Target Software Generation using SystemC. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 30-37, Fraunhofer Institut für Integrierte Schaltungen, 2006.
Abstract is missing.