Radu Negulescu, Janusz A. Brzozowski. Relative liveness: from intuition to automated verification. In Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK. pages 108-117, IEEE Computer Society, 1995. [doi]
Abstract is missing.