Georg Pelz, Monica Rafaila. From Requirements to Comprehensive Verification of Smart Power ICs. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 41-45, Fraunhofer Verlag, 2010.
Abstract is missing.