S. Xu, R. Kumar, S. Jiang, S. Ramesh. A simulation condition for correct asynchronous implementation of synchronous design. In American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008. pages 1728-1733, IEEE, 2008. [doi]
Abstract is missing.