Testing Micropipelined Asynchronous Circuits. - Matthew L. King; Kewal K. Saluja (ITC, 2004)

Practical Security Validation. - Matthew L. King (MTV, 2013)