Keiichi Nakata. An Application of Temporal Logic for Representation and Reasoning about Design. In Michael Masuch, László Pólos, editors, Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Volume 808 of Lecture Notes in Computer Science, pages 131-145, Springer, 1992.
Abstract is missing.