Alexander Jesser Stefan Laemmermann Alexander Pacholik Roland Weiss Jürgen Ruf Lars Hedrich Wolfgang Fengler Thomas Kropf Wolfgang Rosenstiel Advanced Assertion-Based Design for Mixed-Signal Verification. 3548-3555 2008 91-A IEICE Transactions 12 http://dx.doi.org/10.1093/ietfec/e91-a.12.3548 db/journals/ieicet/ieicet91a.html#JesserLPWRHFKR08