Tobias Dubois Erik Jan Marinissen Mohamed Azimane Paul Wielage Erik Larsson Clemens Wouters Test quality analysis and improvement for an embedded asynchronous FIFO. 859-864 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266552 db/conf/date/date2007.html#DuboisMAWLW07