Zohar Manna, Amir Pnueli. Temporal Verification of Reactive Systems: Response. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 279-361, Springer, 2010. [doi]
Abstract is missing.