Soeken M. Formal Specification Level : Concepts, Methods, and Algorithms / M. Soeken, R. Drechsler, 2015 r=on-line. - Текст : электронный.
Grosse D. Quality-Driven systemc design / D. Grosse, R. Drechsler, 2010 r=on-line. - Текст : электронный.
Rogin F. Debugging at the electronic system level / F. Rogin, R. Drechsler, 2010 r=on-line. - Текст : электронный.
Wille R. Towards a design flow for reversible logic / R. Wille, R. Drechsler, 2010 r=on-line. - Текст : электронный.
Ebendt R. Advanced BDD optimization / R. Ebendt, R. Drechsler, G. Fey, 2005 r=on-line
Fey G. Robustness and usability in modern design flows / G. Fey, R. Drechsler, 2008 r=on-line. - Текст : электронный.
Test pattern generation using boolean proof engines / R. Drechsler [et al.], 2009 r=on-line. - Текст : электронный.