Hans Eveking Martin Braun Martin Schickel Martin Schweikert Volker Nimbler Multi-Level Assertion-Based Design. 85-86 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371244 db/conf/memocode/memocode2007.html#EvekingBSSN07