2022-03-022022-03-022014https://publica.fraunhofer.de/handle/publica/157280Design and Verification Conference and Exhibition Europe, DVCon 2014. CD-ROM