@inproceedings{BrSW09, key ={BrSW09}, author ={J. Brandt and K. Schneider and A. Willenbücher}, title ={Using {IP} Cores in Synchronous Languages}, booktitle ={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, address ={Berlin, Germany}, publisher ={Universitätsbibliothek Berlin}, pages ={97-106}, year ={2009}, note ={ISBN 9783798321182}, remark ={rsg} }