Tommy Kuhn Tobias Oppold C. Schulz-Key Markus Winterholer Wolfgang Rosenstiel Mark Edwards Yaron Kashai Object oriented hardware synthesis and verification. 189-194 2001 ISSS db/conf/isss/isss2001.html#KuhnOSWREK01